Sequents in many valued logic II
From MaRDI portal
Publication:5590049
DOI10.4064/fm-67-1-125-131zbMath0194.30703OpenAlexW2086558934MaRDI QIDQ5590049
No author found.
Publication date: 1970
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/214172
Related Items (12)
A Note on Calculi for Non-deterministic Many-valued Logics ⋮ Effect of the choice of connectives on the relation between classical logic and intuitionistic logic ⋮ Natural deduction for Post's logics and their duals ⋮ On finite-valued propositional logical calculi ⋮ An implication based study on Łukasiewicz (Monteiro) 3-valued algebra and pre-rough algebra ⋮ A 4-valued framework encompassing intuitionistic and classical logic ⋮ What kinds of connectives cause the difference between intuitionistic predicate logic and the logic of constant domains? ⋮ Definability of Boolean functions in Kripke semantics ⋮ Unnamed Item ⋮ Formal axiomatic theories based on a three-valued logic ⋮ Display calculi and other modal calculi: a comparison ⋮ Calculi for many-valued logics
This page was built for publication: Sequents in many valued logic II
