scientific article
From MaRDI portal
Publication:3838811
zbMATH Open0909.03045MaRDI QIDQ3838811
Christian G. Fermüller, Herbert Langsteiner
Publication date: 13 August 1998
Title of this publication is not available (Why is that?)
Database theory (68P15) Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (6)
Title not available (Why is that?) ⋮ Prefixed tableaus for three-valued modal propositional logics ⋮ Tableaux for intuitionistic logics ⋮ Tabular Logics with no Finite Bases for Inference Rules ⋮ Tableau Systems for Logics of Subinterval Structures over Dense Orderings ⋮ Title not available (Why is that?)
Uses Software
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 Q3838811)
