Non-Fregean propositional logic with quantifiers
From MaRDI portal
Publication:286706
DOI10.1215/00294527-3470547zbMATH Open1396.03070OpenAlexW2324313918MaRDI QIDQ286706FDOQ286706
Taneli Huuskonen, Joanna Golińska-Pilarek
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
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
Other nonclassical logic (03B60) Logic with extra quantifiers and operators (03C80) Decidability of theories and sets of sentences (03B25)
Cites Work
- Title not available (Why is that?)
- Investigations into the sentential calculus with identity
- A completeness theorem for theories of kind W
- Identity connective and modality
- Number of non-Fregean sentential logics that have adequate models
- Title not available (Why is that?)
- Quasi-completeness in non-Fregean logic
- Number of extensions of non-Fregean logics
Cited In (11)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Number of extensions of non-Fregean logics
- Title not available (Why is that?)
- Predicate provability logic with non-modalized quantifiers
- Tableau-based decision procedure for non-Fregean logic of sentential identity
- Quantifier-free versions of first order logic and their psychological significance
- A modal loosely guarded fragment of second-order propositional modal logic
- Grzegorczyk's logics. I
- Polish notation
- Number of non-Fregean sentential logics that have adequate models
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)
