scientific article

Publication date: 1 July 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) Intermediate logics (03B55)

Related Items

Linear Logic Properly Displayed ⋮ Revisiting da Costa logic ⋮ Constraint tableaux for two-dimensional fuzzy logics ⋮ Useful Four-Valued Extension of the Temporal Logic KtT4 ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ A more general general proof theory ⋮ Disentangling structural connectives or life without display property ⋮ Reprint of: ``A more general general proof theory ⋮ Natural deduction for bi-intuitionistic logic ⋮ On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\) ⋮ Bi-intuitionistic implication structures ⋮ Pragmatic and dialogic interpretations of bi-intuitionism. Part I ⋮ The semi Heyting-Brouwer logic ⋮ Understanding negation implicationally in the relevant logic R ⋮ Natural deduction for dual-intuitionistic logic ⋮ LK, LJ, dual intuitionistic logic, and quantum logic ⋮ Information Quanta and Approximation Operators: Once More Around the Track ⋮ On Displaying Negative Modalities ⋮ Prawitz, Proofs, and Meaning ⋮ On the Methodology of Paraconsistent Logic ⋮ Proof theory of Nelson's paraconsistent logic: a uniform perspective ⋮ The Evil Twin: The Basics of Complement-Toposes ⋮ Unnamed Item ⋮ Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory ⋮ Dual intuitionistic logic and a variety of negations: the logic of scientific research ⋮ On Blass translation for Leśniewski's propositional ontology and modal logics