Logics and falsifications. A new perspective on constructivist semantics

DOI10.1007/978-3-319-05206-9zbMath1436.03004OpenAlexW1736017820MaRDI QIDQ2446030

Andreas Kapsner

Publication date: 15 April 2014

Published in: Trends in Logic -- Studia Logica Library (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-05206-9

zbMATH Keywords

intuitionistic logicconstructivismverificationismfalsificationismdual intuitionisitc logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20) Paraconsistent logics (03B53)

Related Items (15)

Tableaux and restricted quantification for systems related to weak Kleene logic ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ IMPROVING STRONG NEGATION ⋮ Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic ⋮ HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) ⋮ Tarskian consequence relations bilaterally: some familiar notions ⋮ Intuitionistic logic is a connexive logic ⋮ Executability and connexivity in an interpretation of Griss ⋮ Popper's Notion of Duality and His Theory of Negations ⋮ On Split Negation, Strong Negation, Information, Falsification, and Verification ⋮ An Invitation to New Essays on Belnap-Dunn Logic ⋮ FDE as a Base for Constructive Logic ⋮ On Gluts in Mathematics and Science ⋮ Inconsistent Models (and Infinite Models) for Arithmetics with Constructible Falsity ⋮ Humble Connexivity

This page was built for publication: Logics and falsifications. A new perspective on constructivist semantics