scientific article; zbMATH DE number 823607
From MaRDI portal
Publication:4856963
zbMath0840.03011MaRDI QIDQ4856963
Publication date: 1 July 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (13)
The Logic of Bunched Implications ⋮ A Co-inductive Language and Truth Degrees ⋮ UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS ⋮ EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes ⋮ On arithmetic in the Cantor-Łukasiewicz fuzzy set theory ⋮ Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic ⋮ Substructural epistemic logics ⋮ Editorial introduction: substructural logics and metainferences ⋮ Powerset Residuated Algebras and Generalized Lambek Calculus ⋮ A curious dialogical logic and its composition problem ⋮ Type logics and pregroups ⋮ Axiomatization of crisp Gödel modal logic ⋮ Sorites, Curry and Suitable Models
This page was built for publication:
