Decision Procedures and Semantics for Feys' System S2° and Surrounding Systems

Mathematical Logic Quarterly 16 (2):165-174 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19700160206

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

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

Algebraic semantics for deductive systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.
Automated legal decision systems in practice: The mirror of reality. [REVIEW]Anja Oskamp & Maaike W. Tragter - 1997 - Artificial Intelligence and Law 5 (4):291-322.
Syllogisms with fractional quantifiers.Fred Johnson - 1994 - Journal of Philosophical Logic 23 (4):401 - 422.
Variations on da Costa C systems and dual-intuitionistic logics I. analyses of cω and CCω.Richard Sylvan - 1990 - Studia Logica 49 (1):47-65.
Review: R. Routley, Decision Procedures and Semantics for C1, E1 and $S0.5^0$. [REVIEW]G. F. Schumm - 1973 - Journal of Symbolic Logic 38 (2):329-329.
Semantics for Two Second-Order Logical Systems: $\equiv$ RRC* and Cocchiarella's RRC.Max A. Freund - 1996 - Notre Dame Journal of Formal Logic 37 (3):483-505.
Variations on Da Costa C Systems and Dual-Intuitionistic Logics I. Analyses of $C{\omega}$ and $CC{\omega}$.Richard Sylvan - 1990 - Studia Logica 49 (1):47 - 65.
Decision procedures for Lewis system S1 and related modal systems.Anjan Shukla - 1970 - Notre Dame Journal of Formal Logic 11 (2):141-180.
Review: Anjan Shukla, Decision Procedures for Lewis System S1 and Related Modal Systems. [REVIEW]R. A. Bull - 1972 - Journal of Symbolic Logic 37 (4):754-755.
Errata: ``Decision procedures for Lewis system $S1$ and related modal systems''.Anjan Shukla - 1973 - Notre Dame Journal of Formal Logic 14 (4):584-584.
Canonical Constructive Systems ⋆.Arnon Avron - unknown
Non-deterministic Semantics for Logics with a Consistency Operator.Arnon Avron - unknown
Merging without mystery or: Variables in dynamics semantics. [REVIEW]C. F. M. Vermeulen - 1995 - Journal of Philosophical Logic 24 (4):405 - 450.

Analytics

Added to PP
2013-11-24

Downloads
11 (#1,113,583)

6 months
3 (#1,002,413)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Meeting of the association for symbolic logic: Singapore 1981.C. T. Chong - 1983 - Journal of Symbolic Logic 48 (3):893-897.

Add more citations

References found in this work

Semantics for deontic logic.William H. Hanson - 1965 - Logique Et Analyse 8:177-190.

Add more references