scientific article; zbMATH DE number 1028819
From MaRDI portal
Publication:4342082
zbMath0875.03038MaRDI QIDQ4342082
Publication date: 8 July 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophical and critical aspects of logic and foundations (03A05) Metamathematics of constructive systems (03F50) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55) Intermediate logics (03B55)
Related Items (37)
Linear Logic Properly Displayed ⋮ First-order Gödel logics ⋮ On the finite model property of weak intuitionistic tense logic ⋮ Equilibrium logic ⋮ Creative subject, Beth models and neighbourhood functions ⋮ Completeness proofs for propositional logic with polynomial-time connectives ⋮ Algebraic translations, correctness and algebraic compiler construction ⋮ Intuitive counterexamples for constructive fallacies ⋮ Constructive knowledge and the justified true belief paradigm ⋮ An intuitionistic set-theoretical model of fully dependent CC ⋮ The Logic of Justification ⋮ Intuitionism and the liar paradox ⋮ Extendible formulas in two variables in intuitionistic logic ⋮ Justification Logic ⋮ Rule Calculus: Semantics, Axioms and Applications ⋮ Paraconsistency everywhere ⋮ The contraction rule and decision problems for logics without structural rules ⋮ Profiniteness and representability of spectra of Heyting algebras ⋮ Importing logics ⋮ Fibring as biporting subsumes asymmetric combinations ⋮ Towards constructive DL for abstraction and refinement ⋮ A variant of Thomason's first-order logic CF based on situations ⋮ What Is in a Step: New Perspectives on a Classical Question ⋮ Subtractive logic ⋮ Stable formulas in intuitionistic logic ⋮ Connectionist computations of intuitionistic reasoning ⋮ Mally's deontic logic: reducibility and semantics ⋮ Frame based formulas for intermediate logics ⋮ Reference and perspective in intuitionistic logics ⋮ Constructive modal logics. I ⋮ Cut-free Gentzen calculus for multimodal CK ⋮ Temporal Here and There ⋮ Truth values and proof theory ⋮ On the Philosophy and Mathematics of the Logics of Formal Inconsistency ⋮ Decidable Kripke models of intuitionistic theories ⋮ Five observations concerning the intended meaning of the intuitionistic logical constants ⋮ A uniform tableau method for intuitionistic modal logics. I
This page was built for publication:
