Axiomatizing Propositional Dependence Logics [PDF]
arXiv, 2014 We give sound and complete Hilbert-style axiomatizations for propositional dependence logic (PD), modal dependence logic (MDL), and extended modal dependence logic (EMDL) by extending existing axiomatizations for propositional logic and modal logic. In addition, we give novel labeled tableau calculi for PD, MDL, and EMDL.
arxiv
Multiple Conclusion Rules in Logics with the Disjunction Property [PDF]
arXiv, 2015 We prove that for the intermediate logics with the disjunction property any basis of admissible rules can be reduced to a basis of admissible m-rules (multiple-conclusion rules), and every basis of admissible m-rules can be reduced to a basis of admissible rules.
arxiv
The lattice of linear classes in prime-valued logics [PDF]
, 1982 János Demetrovics, Jànos Bagyinszki
openalex +1 more source
Linguistic Truth-Valued Lattice Value Propositional Logic System lP(X) [PDF]
, 2007 Jiajun Lai +4 more
openalex +1 more source
Optical Computing: Status and Perspectives. [PDF]
Nanomaterials (Basel), 2022 Kazanskiy NL, Butt MA, Khonina SN.
europepmc +1 more source
On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
, 2008 Félix Bou +3 more
openalex +2 more sources
Enabling scalable optical computing in synthetic frequency dimension using integrated cavity acousto-optics. [PDF]
Nat Commun, 2022 Zhao H, Li B, Li H, Li M.
europepmc +1 more source
Some Fundamental Concepts in (2, L)-Fuzzy Topology Based on Complete Residuated Lattice-Valued Logic [PDF]
, 2010 F.M. Zeyada +3 more
openalex +1 more source
An Analysis of Algebraic Codes over Lattice Valued Intuitionistic Fuzzy Type-3 R-Submodules. [PDF]
Comput Intell Neurosci, 2022 Riaz A +4 more
europepmc +1 more source
Intuitionistic modal logics: a minimal setting [PDF]
arXivWe introduce an intuitionistic modal logic strictly contained in the intuitionistic modal logic IK and being an appropriate candidate for the title of ``minimal normal intuitionistic modal logic''.
arxiv