scientific article; zbMATH DE number 753775
From MaRDI portal
Publication:4698608
zbMATH Open0824.03003MaRDI QIDQ4698608FDOQ4698608
Authors: Arnon Avron 
Publication date: 9 November 1995
Title of this publication is not available (Why is that?)
Recommendations
consequence relationfirst-order logicformal languagelogical systemaxiomatic systempropositional modal logicsthree-valued propositional logicsschematic substitutionsubstitution-instance relation
Cited In (14)
- Heterogeneous Reasoning and Its Logic
- Weak disharmony: some lessons for proof-theoretic semantics
- Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic
- What's so logical about the logical axioms?
- Abstract logic with vocables
- Title not available (Why is that?)
- 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
- Relative interpretations and substitutional definitions of logical truth and 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)
