scientific article; zbMATH DE number 753775

zbMATH Open0824.03003MaRDI QIDQ4698608FDOQ4698608

Authors: Arnon Avron 

Publication date: 9 November 1995

Title of this publication is not available (Why is that?)

Recommendations

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

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)

Cited In (10)

• Heterogeneous Reasoning and Its Logic
• Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic
• What's so logical about the logical axioms?
• AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS
• Title not available (Why is that?)
• Logic as a methodological discipline
• What is systematology?
• Axiomatizing non-deterministic many-valued generalized consequence relations
• Some remarks on axiomatizing logical consequence operations
• WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS

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)