scientific article; zbMATH DE number 753774
From MaRDI portal
Publication:4698607
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
Cited in
(19)- April the 19th
- Language and proof theory. Preface to the special issue on ``Proof theory and natural language
- Automated correspondence analysis for the binary extensions of the logic of paradox
- Universality of logic
- A generalization of the Routley-Meyer semantic framework
- What is systematology?
- Continuous domains and their information system representation as logical systems
- Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis
- Logic with numbers
- scientific article; zbMATH DE number 753772 (Why is no real title available?)
- Constructibility and decidability versus domain independence and absoluteness
- What is the logic of inference?
- scientific article; zbMATH DE number 2101986 (Why is no real title available?)
- Fragments of R-mingle
- Towards a Bayesian theory of second-order uncertainty: lessons from non-standard logics
- Adding logic to the toolbox of molecular biology
- Reasoning with limited resources: active logics expressed as labelled deductive systems
- Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic
- On the universality of atomic and molecular logics via protologics
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)
