Order:
Disambiguations
C. J. van Alten [5]C. van Alten [4]Clint J. van Alten [3]Clint Van Alten [2]
  1.  11
    Structural Completeness in Substructural Logics.J. S. Olson, J. G. Raftery & C. J. Van Alten - 2008 - Logic Journal of the IGPL 16 (5):453-495.
    Hereditary structural completeness is established for a range of substructural logics, mainly without the weakening rule, including fragments of various relevant or many-valued logics. Also, structural completeness is disproved for a range of systems, settling some previously open questions.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  2.  9
    An Algebraic Look at Filtrations in Modal Logic.W. Conradie, W. Morton & C. J. van Alten - 2013 - Logic Journal of the IGPL 21 (5):788-811.
  3.  32
    On Varieties of Biresiduation Algebras.C. J. van Alten - 2006 - Studia Logica 83 (1-3):425-445.
    A biresiduation algebra is a 〈/,\,1〉-subreduct of an integral residuated lattice. These algebras arise as algebraic models of the implicational fragment of the Full Lambek Calculus with weakening. We axiomatize the quasi-variety B of biresiduation algebras using a construction for integral residuated lattices. We define a filter of a biresiduation algebra and show that the lattice of filters is isomorphic to the lattice of B-congruences and that these lattices are distributive. We give a finite basis of terms for generating filters (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4. Embedding Theorems and Rule Separation in Logics Without Weakening.C. J. van Alten & J. G. Raftery - 2004 - Studia Logica 76 (2).
     
    Export citation  
     
    Bookmark   4 citations  
  5.  8
    Correction To: Complexity of the Universal Theory of Modal Algebras.Dmitry Shkatov & Clint J. Van Alten - forthcoming - Studia Logica:1-1.
    In the original publication of the article, the authors name were abbreviated as “D. Shkatov” and “C. J. Van Alten”. However it should be “Dmitry Shkatov” and “Clint J. Van Alten”. The original article has been corrected.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  11
    The Finite Model Property for Knotted Extensions of Propositional Linear Logic.C. J. van Alten - 2005 - Journal of Symbolic Logic 70 (1):84-98.
    The logics considered here are the propositional Linear Logic and propositional Intuitionistic Linear Logic extended by a knotted structural rule: γ, xn → y / γ, xm → y. It is proved that the class of algebraic models for such a logic has the finite embeddability property, meaning that every finite partial subalgebra of an algebra in the class can be embedded into a finite full algebra in the class. It follows that each such logic has the finite model property (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  4
    Complexity of the Universal Theory of Modal Algebras.Dmitry Shkatov & Clint J. Van Alten - forthcoming - Studia Logica:1-17.
    We apply the theory of partial algebras, following the approach developed by Van Alten, to the study of the computational complexity of universal theories of monotonic and normal modal algebras. We show how the theory of partial algebras can be deployed to obtain co-NP and EXPTIME upper bounds for the universal theories of, respectively, monotonic and normal modal algebras. We also obtain the corresponding lower bounds, which means that the universal theory of monotonic modal algebras is co-NP-complete and the universal (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  15
    The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction.C. van Alten & J. Raftery - 1999 - Studia Logica 63 (2):213-222.
    The aim of this paper is to show that the implicational fragment BKof the intuitionistic propositional calculus (IPC) without the rules of exchange and contraction has the finite model property with respect to the quasivariety of left residuation algebras (its equivalent algebraic semantics). It follows that the variety generated by all left residuation algebras is generated by the finite left residuation algebras. We also establish that BKhas the finite model property with respect to a class of structures that constitute a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark