scientific article; zbMATH DE number 753775
From MaRDI portal
Publication:4698608
zbMath0824.03003MaRDI QIDQ4698608
Publication date: 9 November 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
first-order logicconsequence relationlogical systempropositional modal logicsformal languageaxiomatic systemthree-valued propositional logicsschematic substitutionsubstitution-instance relation
Related Items
Axiomatizing non-deterministic many-valued generalized consequence relations ⋮ Logic as a methodological discipline ⋮ AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS ⋮ WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS ⋮ Heterogeneous Reasoning and Its Logic ⋮ Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic