Semantical analyses of propositional systems of Fitch and Nelson

DOI10.1007/BF02123283MaRDI QIDQ1237778zbMATH OpenFDO

Authors Richard Sylvan

Publication date 1974

Published in Studia Logica (Search for Journal in Brave)

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55) Categoricity and completeness of theories (03C35) General logic (03B99)

Cites work

• scientific article; zbMATH DE number 3122413 (Why is no real title available?)
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• scientific article; zbMATH DE number 3241263 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• scientific article; zbMATH DE number 3076631 (Why is no real title available?)
• A decision procedure for Fitch's propositional calculus
• A semantical study of constructible falsity
• Constructible falsity
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

Cited in

(18)

• A first order nonmonotonic extension of constructive logic
• Constructive negation, implication, and co-implication
• Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic
• Nelson algebras, residuated lattices and rough sets: A survey
• Combining linear-time temporal logic with constructiveness and paraconsistency
• Inference rules in Nelson's logics, admissibility and weak admissibility
• On deductive bases for paraconsistent answer set semantics
• Some investigations of varieties of \({\mathcal N}\)-lattices
• A Kripke-style semantics for R-mingle using a binary accessibility relation
• Informational interpretation of substructural propositional logics
• A variant of Thomason's first-order logic CF based on situations
• A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics
• Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\)
• Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
• Normal modal substructural logics with strong negation
• Belnap constants and Nelson logic
• Proof theory of Nelson's paraconsistent logic: a uniform perspective

This page was built for publication: Semantical analyses of propositional systems of Fitch and Nelson

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1237778)