1 - 4 of 4 articles
The logic B is Sylvan and Plumwood's minimal De Morgan logic. The aim of this paper is to investigate extensions of B endowed with a quasi-Boolean negation of intuitionistic character included in 3-valued logic G3 and/or 3-valued logic S5 . Unreduced Routley-Meyer ternary relational semantics...
The aim of this article is to discuss the extent to which certain substructural logics are related through the phenomenon of duality. Roughly speaking, metainferences are inferences between collections of inferences, and thus substructural logics can be regarded as logics that have fewer valid...
We provide a new semantics and a slightly different formalisation for the propositional logic with superposition (PLS) introduced and studied in Tzouvaras [(2018). Propositional superposition logic. Logic Journal of the IGPL, 26(1), 149–190]. PLS results from Propositional Logic (PL) by adding a...
In this paper, first, we determine the number of sublogics of variable inclusion of an arbitrary finitary logic with a composition term. Then, we investigate their position into the lattice of consequence relations over the language of .
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.