scientific article; zbMATH DE number 753775

MaRDI QIDQ4698608zbMATH OpenFDO

Authors Arnon Avron

Publication date 9 November 1995

zbMATH Keywords

axiomatic systemconsequence relationfirst-order logicformal languagelogical systempropositional modal logicsschematic substitutionsubstitution-instance relationthree-valued propositional logics

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Other nonclassical logic (03B60)

Recommendations

• scientific article; zbMATH DE number 753777
• Formal notes on the substitutional analysis of logical consequence
• scientific article; zbMATH DE number 753774

Cited in

(15)

• What's so logical about the logical axioms?
• What is systematology?
• Some remarks on axiomatizing logical consequence operations
• Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic
• Heterogeneous Reasoning and Its Logic
• scientific article; zbMATH DE number 753772 (Why is no real title available?)
• scientific article; zbMATH DE number 753777 (Why is no real title available?)
• Relative interpretations and substitutional definitions of logical truth and consequence
• An abstract approach to consequence relations
• Weak disharmony: some lessons for proof-theoretic semantics
• Logic, unity in three persons
• Abstract logic with vocables
• Axiomatizing non-deterministic many-valued generalized consequence relations
• Logic as a methodological discipline
• Formal notes on the substitutional analysis of logical consequence

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4698608)