On some interpretations of classical logic

&
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):409-412 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19920380139

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,654

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

On some interpretations of classical logic.Branislav R. Boričić & B. R. Boričić - 1992 - Mathematical Logic Quarterly 38 (1):409-412.
Some modifications of the Godel translation of classical intuitionictic logic.Branislav R. Boricic - 1990 - Bulletin of the Section of Logic 19 (3):84-86.
An Alternative Normalization of the Implicative Fragment of Classical Logic.Branislav Boričić & Mirjana Ilić - 2015 - Studia Logica 103 (2):413-446.
Carnap's Problem: What is it Like to be a Normal Interpretation of Classical Logic?Arnold Koslow - 2010 - Abstracta 6 (1):117-135.
Logical foundations for modal interpretations of quantum mechanics.Michael Dickson - 1996 - Philosophy of Science 63 (3):329.
On Some Subsystems of Dummett's LC.Branislav R. Boričić - 1985 - Mathematical Logic Quarterly 31 (14‐18):243-247.
Interpolation Theorem for intuitionistic S4.Branislav R. Boricic - 1991 - Bulletin of the Section of Logic 20 (1):2-6.
A note on some intermediate propositional calculi.Branislav R. Boričić - 1984 - Journal of Symbolic Logic 49 (2):329-333.
On sequence-conclusion natural deduction systems.Branislav R. Boričić - 1985 - Journal of Philosophical Logic 14 (4):359 - 377.
A cut-free gentzen-type system for the logic of the weak law of excluded middle.Branislav R. Boričić - 1986 - Studia Logica 45 (1):39-53.
On certain normalizable natural deduction formulations of some propositional intermediate logics.Branislav R. Boričić - 1988 - Notre Dame Journal of Formal Logic 29 (4):563-568.
A note on sequent calculi intermediate between LJ and LK.Branislav R. Boričić - 1988 - Studia Logica 47 (2):151 - 157.
Ontologically Minimal Logical Semantics.Uwe Meixner - 1995 - Notre Dame Journal of Formal Logic 36 (2):279-298.
Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz's 3-valued Logic Ł3.Gemma Robles, Francisco Salto & José M. Méndez - 2013 - Journal of Philosophical Logic (2-3):1-30.
The Modal Logic of Cluster-Decomposable Kripke Interpretations.Michael Tiomkin & Michael Kaminski - 2007 - Notre Dame Journal of Formal Logic 48 (4):511-520.

Analytics

Added to PP
2016-02-04

Downloads
31 (#526,621)

6 months
3 (#1,020,910)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Introduction to mathematical logic.Alonzo Church - 1944 - Princeton,: Princeton University Press. Edited by C. Truesdell.
From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge,: Harvard University Press.
Collected works.Kurt Gödel - 1986 - New York: Oxford University Press. Edited by Solomon Feferman.
From Frege to Gödel.Jean van Heijenoort - 1968 - Philosophy of Science 35 (1):72-72.
Introduction to Mathematical Logic.S. C. Kleene - 1956 - Journal of Symbolic Logic 23 (3):362-362.

View all 6 references / Add more references