scientific article; zbMATH DE number 753774
From MaRDI portal
Publication:4698607
zbMATH Open0824.03004MaRDI QIDQ4698607FDOQ4698607
Authors: Dov Gabbay 
Publication date: 9 November 1995
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 932649
- scientific article; zbMATH DE number 510780
- scientific article; zbMATH DE number 2101986
- Publication:4946231
- Parsing natural language using LDS: a prototype
- scientific article; zbMATH DE number 1790421
- A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics
- scientific article; zbMATH DE number 1140672
- Logic production systems: Analysis and synthesis
consequence relationsemanticslogical systemdeduction ruleslogical languagealgorithmic proof systemLabeled Deductive System
Cited In (19)
- Title not available (Why is that?)
- April the 19th
- Logic with numbers
- Towards a Bayesian theory of second-order uncertainty: lessons from non-standard logics
- Reasoning with limited resources: active logics expressed as labelled deductive systems
- Automated correspondence analysis for the binary extensions of the logic of paradox
- Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis
- Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic
- Fragments of R-mingle
- Continuous domains and their information system representation as logical systems
- Title not available (Why is that?)
- Language and proof theory. Preface to the special issue on ``Proof theory and natural language
- On the universality of atomic and molecular logics via protologics
- What is systematology?
- A generalization of the Routley-Meyer semantic framework
- What is the logic of inference?
- Adding logic to the toolbox of molecular biology
- Constructibility and decidability versus domain independence and absoluteness
- Universality of logic
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 Q4698607)
