Results 21 to 30 of about 595 (40)
On formal aspects of the epistemic approach to paraconsistency [PDF]
, 2018 This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence.
Carnielli, Walter +2 more
core
The physical interpretation of daseinisation [PDF]
, 2010 We provide a conceptual discussion and physical interpretation of some of the quite abstract constructions in the topos approach to physics. In particular, the daseinisation process for projection operators and for self-adjoint operators is motivated and
Doering, Andreas
core
Some of the next articles are maybe not open access.
Monadic $$k\times j$$-rough Heyting algebras
Archive for Mathematical Logic, 2021Gustavo Pelaitay
exaly
Approximate Bisimulations for Fuzzy Automata Over Complete Heyting Algebras
IEEE Transactions on Fuzzy Systems, 2022Stefan Stanimirović +2 more
exaly
Effective categoricity for distributive lattices and Heyting algebras
Lobachevskii Journal of Mathematics, 2017Nikolay Bazhenov
exaly