scientific article; zbMATH DE number 753774
From MaRDI portal
Publication:4698607
zbMATH Open0824.03004MaRDI QIDQ4698607FDOQ4698607
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 (18)
- Title not available (Why is that?)
- April the 19th
- Logic with numbers
- Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic
- Fragments of R-mingle
- Universality of Logic
- 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
- AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX
- What is the logic of inference?
- Adding logic to the toolbox of molecular biology
- Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis
- Towards a Bayesian Theory of Second-Order Uncertainty: Lessons from Non-Standard Logics
- Constructibility and decidability versus domain independence and absoluteness
- Continuous Domains and their Information System Representation as Logical Systems
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)
