scientific article; zbMATH DE number 2062376
From MaRDI portal
Publication:4459273
Recommendations
Cited in
(7)- Logical pluralism and semantic information
- Higher-order modal logics: automation and applications
- A generalisation of a refutation-related method in paraconsistent logics
- Paraconsistency on the rocks of dialetheism
- Exploring Jaśkowski's discussive logic. Proof analysis and related remarks
- Counter countermathematical explanations
- Types, Tableaus and Gödel’s God in Isabelle/HOL
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 Q4459273)