scientific article; zbMATH DE number 753775

MaRDI QIDQ4698608zbMATH OpenFDO

Authors Arnon Avron

Publication date 9 November 1995

zbMATH Keywords

consequence relationfirst-order logicformal languagelogical systemaxiomatic systempropositional modal logicsthree-valued propositional logicsschematic substitutionsubstitution-instance relation

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(14)

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

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)