1 - 5 of 5 articles
In this paper, we introduce provability multilattice logic and multilattice arithmetic which extends first-order multilattice logic with equality by multilattice versions of Peano axioms. We show that has the provability interpretation with respect to and prove the arithmetic completeness...
This paper studies a fundamental mechanism by which conflicts between arguments are drawn from sentiments regarding acceptability of the arguments. Given sets of arguments, an inverse abstract argumentation problem seeks attack relations between arguments such that acceptability semantics...
Can God change the past? The standard Aquinas line answers this question negatively: God cannot change the past since such an act implies a contradiction; thus is not within the purview of God's omnipotence. While the Aquinas line is well-known, there are other, non-standard solutions to this...
In this paper, we provide a set-theoretic proof of the general representation theorem for MV-algebras, which was developed by Dubuc and Poveda in 2010. The theorem states that every MV-algebra is isomorphic to the MV-algebra of all global sections of its prime spectrum. We avoid using topos...
Read and print from thousands of top scholarly journals.
Continue with Facebook
Log in with Microsoft
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Sign Up Log In
To subscribe to email alerts, please log in first, or sign up for a DeepDyve account if you don’t already have one.
To get new article updates from a journal on your personalized homepage, please log in first, or sign up for a DeepDyve account if you don’t already have one.