scientific article; zbMATH DE number 510780
From MaRDI portal
Publication:4281253
Recommendations
- scientific article; zbMATH DE number 932649
- scientific article; zbMATH DE number 1140671
- A Labelled Deductive System for Relational Semantics of the Lambek Calculus
- scientific article; zbMATH DE number 1568685
- A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics
- Labelled proof systems for intuitionistic provability
- Focused labeled proof systems for modal logic
- Fibring Labelled Deduction Systems
- Labelled propositional modal logics: theory and practice
- scientific article; zbMATH DE number 516987
Cited in
(16)- Multicomponent proof-theoretic method for proving interpolation properties
- Through an inference rule, darkly
- scientific article; zbMATH DE number 4210113 (Why is no real title available?)
- Parsing natural language using LDS: a prototype
- scientific article; zbMATH DE number 1140671 (Why is no real title available?)
- scientific article; zbMATH DE number 1790421 (Why is no real title available?)
- Finding explanations of inconsistency in multi-context systems
- scientific article; zbMATH DE number 753774 (Why is no real title available?)
- scientific article; zbMATH DE number 2101986 (Why is no real title available?)
- scientific article; zbMATH DE number 932649 (Why is no real title available?)
- scientific article; zbMATH DE number 1421197 (Why is no real title available?)
- scientific article; zbMATH DE number 1421202 (Why is no real title available?)
- An approach to characterize graded entailment of arguments through a label-based framework
- Strongly analytic tableaux for normal modal logics
- A labeled argumentation framework
- Reasoning with limited resources: active logics expressed as labelled deductive 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 Q4281253)
