Non-Fregean propositional logic with quantifiers
From MaRDI portal
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
- scientific article; zbMATH DE number 1252395 (Why is no real title available?)
- scientific article; zbMATH DE number 3368608 (Why is no real title available?)
- A completeness theorem for theories of kind W
- 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
(12)- scientific article; zbMATH DE number 7238893 (Why is no real title available?)
- scientific article; zbMATH DE number 4055575 (Why is no real title available?)
- Number of extensions of non-Fregean logics
- scientific article; zbMATH DE number 7325823 (Why is no real title available?)
- 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
- Construction of a canonical model for a first-order non-Fregean logic with a connective for reference and a total truth predicate
- 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)
