Switch to: References

Add citations

You must login to add citations.
  1. Bochvar's Three-Valued Logic and Literal Paralogics: Their Lattice and Functional Equivalence.Alexander Karpenko & Natalya Tomova - 2017 - Logic and Logical Philosophy 26 (2):207-235.
    In the present paper, various features of the class of propositional literal paralogics are considered. Literal paralogics are logics in which the paraproperties such as paraconsistence, paracompleteness and paranormality, occur only at the level of literals; that is, formulas that are propositional letters or their iterated negations. We begin by analyzing Bochvar’s three-valued nonsense logic B3, which includes two isomorphs of the propositional classical logic CPC. The combination of these two ‘strong’ isomorphs leads to the construction of two famous paralogics (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Epistemology of Quasi-Sets.Adonai Sant'Anna - unknown
    I briefly discuss the epistemological role of quasi-set theory in mathematics and theoretical physics. Quasi-set theory is a first order theory, based on Zermelo-Fraenkel set theory with Urelemente. Nevertheless, quasi-set theory allows us to cope with certain collections of objects where the usual notion of identity is not applicable, in the sense that $x = x$ is not a formula, if $x$ is an arbitrary term. Basically, quasi-set theory offers us some sort of logical apparatus for questioning the need for (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark