On the Logical System L1

Mathematical Logic Quarterly 32 (19‐24):349-353 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19860321908

Other Versions

reprint Šikić, Z. (1986) "On the Logical System L1". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32(19-24):349-353

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,270

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Translations of Logical Formulas and the Equiconsistency Problem.Andrei A. Kuzichev - 1994 - Mathematical Logic Quarterly 40 (1):44-50.
Kripke-style semantics of a logical system based on a finite ordered set.A. Nour - 2000 - Mathematical Logic Quarterly 46 (3):417-432.
Natural Deduction: The Logical Basis of Axiom System.J. R. Cameron - 1965 - Philosophical Quarterly 15 (58):83.
On the Impossibility of Transformation of All True Formulas Of Markov's Language L1 into True Formulas of His Language ℝ.F. W. Gorgy - 1988 - Mathematical Logic Quarterly 34 (4):305-307.
Moderna logika u hrvatskoj filozofiji 20. stoljeća [Modern logic in Croatian philosophy of the 20th century].Srećko Kovač - 2007 - In Damir Barbarić & Franjo Zenko (eds.), Hrvatska filozofija u XX. stoljeću. Matica hrvatska. pp. 97-110.
No minimal transitive model of Z−.W. Marek & M. Srebrny - 1975 - Mathematical Logic Quarterly 21 (1):225-228.
JORDAN, Z. -The Development of Mathematical Logic and of Logical Positivism in Poland between the Two Wars. [REVIEW]A. Ambrose - 1946 - Mind 55:367.
Darstellbarkeit Von ereignissen in z‐endlichen automaten.Hans‐Joachim Pohl - 1969 - Mathematical Logic Quarterly 15 (6):93-95.

Analytics

Added to PP
2013-12-01

Downloads
7 (#1,640,750)

6 months
3 (#1,477,354)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references