Semantical analyses of propositional systems of Fitch and Nelson

DOI10.1007/BF02123283zbMATH Open0356.02022MaRDI QIDQ1237778FDOQ1237778

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

• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Constructible falsity
• A semantical study of constructible falsity
• A decision procedure for Fitch's propositional calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (18)

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

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)