scientific article; zbMATH DE number 3368608
From MaRDI portal
Publication:5641129
Cited in
(17)- Translatability in non-Fregean theories
- Hyper-slingshot. Is fact-arithmetic possible?
- A completeness theorem for theories of kind W
- On the minimal non-Fregean Grzegorczyk logic
- Non-Fregean propositional logic with quantifiers
- A mystery of Grzegorczyk's logic of descriptions
- From Formal Theory of Knowledge to Non-Fregean Logic
- Grzegorczyk's logics. I
- Equality logic
- \(\in_K\): a non-Fregean logic of explicit knowledge
- Possible worlds in use
- Decidability of intuitionistic sentential logic with identity via sequent calculus
- Deciding non-Fregean identities: a dual tableau approach
- Paraconsistency in non-Fregean framework
- Non-Fregean world of logics
- Fundamentals of finitary proofs
- Number of extensions of non-Fregean logics
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5641129)