Logical connectives for constructive modal logic
From MaRDI portal
Publication:857668
DOI10.1007/s11229-005-5518-5zbMath1111.03019OpenAlexW2032063603MaRDI QIDQ857668
Publication date: 20 December 2006
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11229-005-5518-5
Related Items (2)
Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ Prawitz, Proofs, and Meaning
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Functional completeness for subsystems of intuitionistic propositional logic
- The idea of a proof-theoretic semantics and the meaning of the logical operations
- What is Logic?
- A natural extension of natural deduction
- Constructible falsity and inexact predicates
- Tarskian Structured Consequence Relations and Functional Completeness
- Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik
- Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle
- Logical connectives for intuitionistic propositional logic
This page was built for publication: Logical connectives for constructive modal logic
