Search results for 'Peter J. Blok' (try it on Scholar)

25 found
Sort by:
  1. Peter J. Blok (1991). Focus and Presupposition. Journal of Semantics 8 (1-2):149-165.score: 870.0
    In this paper traditional approaches to the notion ‘presupposition’ are criticized. The relation between the concepts ‘topic’; and ‘presupposition’ is discussed in a game–theoretical framework. It is shown that the concept presupposition has to be defined pragmatically with respect to its dialogical functions.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Peter Achinstein, Brian Barry, Clarendon Press Oxford, John Bigelow, Robert Pargetter, Cambridge Uni Cambridge, H. James Birx, Richard J. Blackwell, Univer Indiana & C. Blok (1991). L22000. 00. Mind 100:399.score: 810.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Gillian Clark (1989). Woman in Antiquity Josine Blok, Peter Mason (edd.): Sexual Asymmetry. Studies in Ancient Society. Pp. ix + 298; 15 figures. Amsterdam: J. C. Gieben, 1987. Paper, fl. 70. Renato Uglione (ed.): Atti del convegno nazionale di studi su la donna nel mondo antico, Torino 21–22–23 Aprile 1986. (Associazione Italiana di Cultura Classica.) Pp. 303; 10 photographs. Turin: Regione Piemonte, 1987. Paper, L. 20,000. [REVIEW] The Classical Review 39 (01):103-105.score: 405.0
    No categories
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. W. J. Blok & Bjarni Jónsson (2006). Equivalence of Consequence Operations. Studia Logica 83 (1-3):91 - 110.score: 300.0
    This paper is based on Lectures 1, 2 and 4 in the series of ten lectures titled “Algebraic Structures for Logic” that Professor Blok and I presented at the Twenty Third Holiday Mathematics Symposium held at New Mexico State University in Las Cruces, New Mexico, January 8-12, 1999. These three lectures presented a new approach to the algebraization of deductive systems, and after the symposium we made plans to publish a joint paper, to be written by Blok, further (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. George E. Newman, Sergey V. Blok & Lance J. Rips (2006). Beliefs in Afterlife as a by-Product of Persistence Judgments. Behavioral and Brain Sciences 29 (5):480-481.score: 240.0
    We agree that supernatural beliefs are pervasive. However, we propose a more general account rooted in how people trace ordinary objects over time. Tracking identity involves attending to the causal history of an object, a process that may implicate hidden mechanisms. We discuss experiments in which participants exhibit the same “supernatural” beliefs when reasoning about the fates of cups and automobiles as those exhibited by Bering's participants when reasoning about spirits.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  6. W. J. Blok & Don Pigozzi (1986). Protoalgebraic Logics. Studia Logica 45 (4):337 - 369.score: 240.0
    There exist important deductive systems, such as the non-normal modal logics, that are not proper subjects of classical algebraic logic in the sense that their metatheory cannot be reduced to the equational metatheory of any particular class of algebras. Nevertheless, most of these systems are amenable to the methods of universal algebra when applied to the matrix models of the system. In the present paper we consider a wide class of deductive systems of this kind called protoalgebraic logics. These include (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  7. W. J. Blok (1980). Pretabular Varieties of Modal Algebras. Studia Logica 39 (2-3):101 - 124.score: 240.0
    We study modal logics in the setting of varieties of modal algebras. Any variety of modal algebras generated by a finite algebra — such, a variety is called tabular — has only finitely many subvarieties, i.e. is of finite height. The converse does not hold in general. It is shown that the converse does hold in the lattice of varieties of K4-algebras. Hence the lower part of this lattice consists of tabular varieties only. We proceed to show that there is (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  8. W. J. Blok & J. Rebagliato (2003). Algebraic Semantics for Deductive Systems. Studia Logica 74 (1-2):153 - 180.score: 240.0
    The notion of an algebraic semantics of a deductive system was proposed in [3], and a preliminary study was begun. The focus of [3] was the definition and investigation of algebraizable deductive systems, i.e., the deductive systems that possess an equivalent algebraic semantics. The present paper explores the more general property of possessing an algebraic semantics. While a deductive system can have at most one equivalent algebraic semantics, it may have numerous different algebraic semantics. All of these give rise to (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  9. W. J. Blok & J. G. Raftery (2004). Fragments of R-Mingle. Studia Logica 78 (1-2):59 - 106.score: 240.0
    The logic RM and its basic fragments (always with implication) are considered here as entire consequence relations, rather than as sets of theorems. A new observation made here is that the disjunction of RM is definable in terms of its other positive propositional connectives, unlike that of R. The basic fragments of RM therefore fall naturally into two classes, according to whether disjunction is or is not definable. In the equivalent quasivariety semantics of these fragments, which consist of subreducts of (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  10. J. F. A. K. Van Benthem & W. J. Blok (1978). Transitivity Follows From Dummett's Axiom. Theoria 44 (2):117-118.score: 240.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  11. W. J. Blok & Don Pigozzi (1988). Alfred Tarski's Work on General Metamathematics. Journal of Symbolic Logic 53 (1):36-50.score: 240.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  12. W. J. Blok & W. Dziobiak (1986). On the Lattice of Quasivarieties of Sugihara Algebras. Studia Logica 45 (3):275 - 280.score: 240.0
    Let S denote the variety of Sugihara algebras. We prove that the lattice (K) of subquasivarieties of a given quasivariety K S is finite if and only if K is generated by a finite set of finite algebras. This settles a conjecture by Tokarz [6]. We also show that the lattice (S) is not modular.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  13. W. J. Blok (1980). The Lattice of Modal Logics: An Algebraic Investigation. Journal of Symbolic Logic 45 (2):221-236.score: 240.0
    Modal logics are studied in their algebraic disguise of varieties of so-called modal algebras. This enables us to apply strong results of a universal algebraic nature, notably those obtained by B. Jonsson. It is shown that the degree of incompleteness with respect to Kripke semantics of any modal logic containing the axiom □ p → p or containing an axiom of the form $\square^mp \leftrightarrow\square^{m + 1}p$ for some natural number m is 2 ℵ 0 . Furthermore, we show that (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  14. W. J. Blok & P. Köhler (1983). Algebraic Semantics for Quasi-Classical Modal Logics. Journal of Symbolic Logic 48 (4):941-964.score: 240.0
  15. Joel Berman & W. J. Blok (2004). Free Łukasiewicz and Hoop Residuation Algebras. Studia Logica 77 (2):153 - 180.score: 240.0
    Hoop residuation algebras are the {, 1}-subreducts of hoops; they include Hilbert algebras and the {, 1}-reducts of MV-algebras (also known as Wajsberg algebras). The paper investigates the structure and cardinality of finitely generated free algebras in varieties of k-potent hoop residuation algebras. The assumption of k-potency guarantees local finiteness of the varieties considered. It is shown that the free algebra on n generators in any of these varieties can be represented as a union of n subalgebras, each of which (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  16. W. J. Blok & Eva Hoogland (2006). The Beth Property in Algebraic Logic. Studia Logica 83 (1-3):49 - 90.score: 240.0
    The present paper is a study in abstract algebraic logic. We investigate the correspondence between the metalogical Beth property and the algebraic property of surjectivity of epimorphisms. It will be shown that this correspondence holds for the large class of equivalential logics. We apply our characterization theorem to relevance logics and many-valued logics.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  17. W. J. Blok & D. Pigozzi (1991). Introduction. Studia Logica 50 (3-4):365-374.score: 240.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  18. W. J. Blok (1979). An Axiomatization of the Modal Theory of the Veiled Recession Frame. Studia Logica 38 (1):37 - 47.score: 240.0
    The veiled recession frame has served several times in the literature to provide examples of modal logics failing to have certain desirable properties. Makinson [4] was the first to use it in his presentation of a modal logic without the finite model property. Thomason [5] constructed a (rather complicated) logic whose Kripke frames have an accessibility relation which is reflexive and transitive, but which is satisfied by the (non-transitive) veiled recession frame, and hence incomplete. In Van Benthem [2] the frame (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  19. W. J. Blok (1977). The Lattice of Modal Logics (Preliminary Report). Bulletin of the Section of Logic 6 (3):112-114.score: 240.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  20. Johan van Benthem (1984). Review: W. J. Blok, The Lattice of Modal Logics: An Algebraic Investigation; W. J. Blok, Pretabular Varieties of Modal Algebras. [REVIEW] Journal of Symbolic Logic 49 (4):1419-1420.score: 140.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. W. Rautenberg, M. Zakharyaschev & F. Wolter (2006). Willem Blok and Modal Logic. Studia Logica 83 (1-3):15 - 30.score: 58.0
    We present our personal view on W.J. Blok's contribution to modal logic.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  22. Peter Thijssen & Sarah L. de Lange (2005). Explaining the Varying Electoral Appeal of the Vlaams Blok in the Districts of Antwerp. Ethical Perspectives 12 (2):231-258.score: 36.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  23. E. Newman George, V. Blok Sergey & J. Rips Lance (2006). Beliefs in Afterlife as a by-Product of Persistence Judgments. Behavioral and Brain Sciences 29 (5):481.score: 24.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  24. J. M. Font & V. Verdú (1993). Algebraic Logic for Classical Conjunction and Disjunction. Studia Logica 52 (1):181.score: 12.0
    In this paper we study the relations between the fragment L of classical logic having just conjunction and disjunction and the variety D of distributive lattices, within the context of Algebraic Logic. We prove that these relations cannot be fully expressed either with the tools of Blok and Pigozzi's theory of algebraizable logics or with the use of reduced matrices for L. However, these relations can be naturally formulated when we introduce a new notion of model of a sequent (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  25. G. D. Barbour & J. G. Raftery (2003). Quasivarieties of Logic, Regularity Conditions and Parameterized Algebraization. Studia Logica 74 (1-2):99 - 152.score: 12.0
    Relatively congruence regular quasivarieties and quasivarieties of logic have noticeable similarities. The paper provides a unifying framework for them which extends the Blok-Pigozzi theory of elementarily algebraizable (and protoalgebraic) deductive systems. In this extension there are two parameters: a set of terms and a variable. When the former is empty or consists of theorems, the Blok-Pigozzi theory is recovered, and the variable is redundant. On the other hand, a class of membership logics is obtained when the variable is (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation