Non-Fregean propositional logic with quantifiers

DOI10.1215/00294527-3470547MaRDI QIDQ286706zbMATH OpenOpenAlexFDO

Authors Joanna Golińska-Pilarek, Taneli Huuskonen

Publication date 25 May 2016

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.ndjfl/1455030205

zbMATH Keywords

identity connectivenon-Fregean logicsentential calculus with identitysituational semantics

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Other nonclassical logic (03B60) Logic with extra quantifiers and operators (03C80)

Recommendations

• Number of extensions of non-Fregean logics
• Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI
• On the minimal non-Fregean Grzegorczyk logic
• Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p
• It might have been classical logic

Cites work

• A completeness theorem for theories of kind W
• scientific article; zbMATH DE number 1252395 (Why is no real title available?)
• scientific article; zbMATH DE number 3368608 (Why is no real title available?)
• Identity connective and modality
• Investigations into the sentential calculus with identity
• Number of extensions of non-Fregean logics
• Number of non-Fregean sentential logics that have adequate models
• Quasi-completeness in non-Fregean logic

Cited in

(15)

• Predicate provability logic with non-modalized quantifiers
• Quantifier-free versions of first order logic and their psychological significance
• Tableau-based decision procedure for non-Fregean logic of sentential identity
• Number of non-Fregean sentential logics that have adequate models
• scientific article; zbMATH DE number 4055575 (Why is no real title available?)
• Construction of a canonical model for a first-order non-Fregean logic with a connective for reference and a total truth predicate
• Polish notation
• Grzegorczyk's logics. I
• scientific article; zbMATH DE number 7238893 (Why is no real title available?)
• scientific article; zbMATH DE number 7325823 (Why is no real title available?)
• A modal loosely guarded fragment of second-order propositional modal logic
• Cut-free labelled calculi and decidability for intuitionistic sentential logic with identity
• A modal two-variable fragment of second-order propositional modal logic
• Paraconsistency in non-Fregean framework
• Number of extensions of non-Fregean logics

This page was built for publication: Non-Fregean propositional logic with quantifiers

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