This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories
Siblings:

193 found
Order:
1 — 50 / 193
  1. Elements of Formal Logic. [REVIEW]E. J. A. - 1965 - Review of Metaphysics 19 (2):379-379.
  2. Conservative Translations.A. Feitosa Hércules & M. Loffredo D'Ottaviano Itala - 2001 - Annals of Pure and Applied Logic 108 (1-3):205-227.
    In this paper we introduce the concept of conservative translation between logics. We present some necessary and sufficient conditions for a translation to be conservative and study some general properties of logical systems, these properties being characterized by the existence of conservative translations between the systems. We prove that the class constituted by logics and conservative translations between them determines a co-complete subcategory of the bi-complete category constituted by logics and translations.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  3. On Free Annotated Algebras.A. Lewin Renato, F. Mikenberg Irene & G. Schwarze Marı́a - 2001 - Annals of Pure and Applied Logic 108 (1-3):249-259.
    In Lewin et al. 359–386) the authors proved that certain systems of annotated logics are algebraizable in the sense of Block and Rigozzi 396). Later in Lewin et al. the study of the associated quasi-varieties of annotated algebras is initiated. In this paper we continue the study of the these classes of algebras, in particular, we report some recent results about the free annotated algebras.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  4. M. Abad Varieties of Three-Valued.A. M. Suardiaz A. Quantifier - forthcoming - Studia Logica.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  5. Proving Theorems of the Second Order Lambek Calculus in Polynomial Time.Erik Aarts - 1994 - Studia Logica 53 (3):373 - 387.
    In the Lambek calculus of order 2 we allow only sequents in which the depth of nesting of implications is limited to 2. We prove that the decision problem of provability in the calculus can be solved in time polynomial in the length of the sequent. A normal form for proofs of second order sequents is defined. It is shown that for every proof there is a normal form proof with the same axioms. With this normal form we can give (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  6. On Three-Valued Moisil Algebras.M. Abad & L. Monteiro - 1984 - Logique Et Analyse 27 (8):407-414.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  7. Varieties of Three-Values Heyting Algebras with a Quantifier.Manuel Abad, J. P. Diaz Varela & L. A. Rueda - 2000 - Studia Logica 65 (2):181-198.
    This paper is devoted to the study of some subvarieties of the variety Q of Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q subscript 3 of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Q is far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q subscript 3 and we construct (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  8. Well (and Better) Quasi-Ordered Transition Systems.Parosh Aziz Abdulla - 2010 - Bulletin of Symbolic Logic 16 (4):457-515.
    In this paper, we give a step by step introduction to the theory of well quasi-ordered transition systems. The framework combines two concepts, namely (i) transition systems which are monotonic wrt. a well-quasi ordering ; and (ii) a scheme for symbolic backward reachability analysis. We describe several models with infinite-state spaces, which can be analyzed within the framework, e.g., Petri nets, lossy channel systems, timed automata, timed Petri nets, and multiset rewriting systems. We will also present better quasi-ordered transition systems (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  9. A Meta-Interpreter Based on Paraconsistent Legal Knowledge Engineering.Jair Minoro Abe & Leonardo Pujatti - 2001 - Logic and Logical Philosophy 9:129.
    The Legal Knowledge Engineering is a new topic of investigationof Artificial Intelligence. This paper discusses some relevant problems relatedto this new area in a summarized way. Within the Normative Law Theory,one question that arises naturally is that of contradiction, like for example:articles conflicting with other articles inside the same code, codes conflictingwith codes, codes conflicting with jurisprudence, and in general, treatmentswith conflicting propositions in Normative Law Theory. This paper suggeststo treat directly inconsistencies in the Legal Knowledge Engineering; thisengineering has as (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  10. Classical Recapture.Andrew Aberdein - 2001 - In V. Fano, M. Stanzione & G. Tarozzi (eds.), Prospettive Della Logica E Della Filosofia Della Scienza. Rubettino. pp. 11-18.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  11. Implication, Modality and Intension in Symbolic Logic.Leo Abraham - 1933 - The Monist 43 (1):119-153.
  12. Future Determination of Entities in Talmudic Public Announcement Logic.M. Abraham, I. Belfer, D. M. Gabbay & U. Schild - 2013 - Journal of Applied Logic 11 (1):63-90.
  13. Obligations and Prohibitions in Talmudic Deontic Logic.M. Abraham, D. M. Gabbay & U. Schild - 2011 - Artificial Intelligence and Law 19 (2-3):117-148.
    This paper examines the deontic logic of the Talmud. We shall find, by looking at examples, that at first approximation we need deontic logic with several connectives: O T A Talmudic obligation F T A Talmudic prohibition F D A Standard deontic prohibition O D A Standard deontic obligation. In classical logic one would have expected that deontic obligation O D is definable by $O_DA \equiv F_D\neg A$ and that O T and F T are connected by $O_TA \equiv F_T\neg (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  14. Some Uses of Dilators in Combinatorial Problems. II.Abrusci V. Michele, Girard Jean-Yves & Wiele Jacques Van De - 1990 - Journal of Symbolic Logic 55 (1):32 - 40.
    We study increasing F-sequences, where F is a dilator: an increasing F-sequence is a sequence (indexed by ordinal numbers) of ordinal numbers, starting with 0 and terminating at the first step x where F(x) is reached (at every step x + 1 we use the same process as in decreasing F-sequences, cf. [2], but with "+ 1" instead of "- 1"). By induction on dilators, we shall prove that every increasing F-sequence terminates and moreover we can determine for every dilator (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  15. Classical Conservative Extensions of Lambek Calculus.V. Michele Abrusci - 2002 - Studia Logica 71 (3):277 - 314.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  16. Widerspruchsfreier Aufbau der Logik I: Typenfreies System Ohne Tertium Non Datur.Wilhelm Ackermann - 1950 - Journal of Symbolic Logic 15 (1):33-57.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  17. On the Logic of High Probability.Ernest W. Adams - 1986 - Journal of Philosophical Logic 15 (3):255 - 279.
  18. A Pragmatic Logic for Commands.Melvin Joseph Adler - 1980 - John Benjamins.
    The purpose of this essay is to both discuss commands as a species of speech act and to discuss commands within the broader framework of how they are used and ...
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  19. The Contributions of Logic to the Foundations of Physics: Foreword. [REVIEW]Diederik Aerts, Sonja Smets & Jean P. Van Bendegem - 2010 - Studia Logica 95 (1-2):1-3.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  20. Quantified Coalition Logic.Ågotnes Thomas, Hoek Wiebe van der & Wooldridge Michael - 2008 - Synthese 165 (2):269 - 294.
    We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs of Quantified Coalition Logic (QCL) allow us to express such properties as "every coalition satisfying property P can achieve φ" and "there exists a coalition C satisfying property P such that C can achieve φ". We give an axiomatisation of QCL, and show that while it is no more expressive than Coalition Logic, it is (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  21. Probability Measures in the Logic of Nilpotent Minimum.Stefano Aguzzoli & Brunella Gerla - 2010 - Studia Logica 94 (2):151-176.
    We axiomatize the notion of state over finitely generated free NM-algebras, the Lindenbaum algebras of pure Nilpotent Minimum logic. We show that states over the free n -generated NM-algebra exactly correspond to integrals of elements of with respect to Borel probability measures.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  22. On Neat Reducts of Algebras of Logic.Tarek Sayed Ahmed & Istvan Németi - 2001 - Studia Logica 68 (2):229-262.
    SC , CA , QA and QEA stand for the classes of Pinter's substitution algebras, Tarski's cylindric algebras, Halmos' quasipolyadic algebras, and quasipolyadic equality algebras of dimension , respectively. Generalizing a result of Németi on cylindric algebras, we show that for K {SC, CA, QA, QEA} and ordinals , the class Nr K of -dimensional neat reducts of -dimensional K algebras, though closed under taking homomorphic images and products, is not closed under forming subalgebras (i.e. is not a variety) if (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  23. The Axiomatic Systems From the Methodological Point of View.Kazimierz Ajdukiewicz - 1960 - Studia Logica 9 (1):205 - 220.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  24. The Gentzen-Kripke Construction of the Intermediate Logic LQ.Seiki Akama - 1991 - Notre Dame Journal of Formal Logic 33 (1):148-153.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  25. Subformula Semantics for Strong Negation Systems.Seiki Akama - 1990 - Journal of Philosophical Logic 19 (2):217 - 226.
    We present a semantics for strong negation systems on the basis of the subformula property of the sequent calculus. The new models, called subformula models, are constructed as a special class of canonical Kripke models for providing the way from the cut-elimination theorem to model-theoretic results. This semantics is more intuitive than the standard Kripke semantics for strong negation systems.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  26. Constructive Predicate Logic with Strong Negation and Model Theory.Seiki Akama - 1987 - Notre Dame Journal of Formal Logic 29 (1):18-27.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  27. Independence of the Primitive Symbols of Lewis's Calculi of Propositions.M. J. Alban - 1943 - Journal of Symbolic Logic 8 (1):25-26.
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  28. Maps Between Some Different Kinds of Contraction Function: The Finite Case.Carlos E. Alchourrón & David Makinson - 1986 - Studia Logica 45 (2):187 - 198.
    In some recent papers, the authors and Peter Gärdenfors have defined and studied two different kinds of formal operation, conceived as possible representations of the intuitive process of contracting a theory to eliminate a proposition. These are partial meet contraction (including as limiting cases full meet contraction and maxichoice contraction) and safe contraction. It is known, via the representation theorem for the former, that every safe contraction operation over a theory is a partial meet contraction over that theory. The purpose (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  29. Proto-Semantics for Positive Free Logic.G. Aldo Antonelli - 2000 - Journal of Philosophical Logic 29 (3):277-294.
    This paper presents a bivalent extensional semantics for positive free logic without resorting to the philosophically questionable device of using models endowed with a separate domain of "non-existing" objects. The models here introduced have only one (possibly empty) domain, and a partial reference function for the singular terms (that might be undefined at some arguments). Such an approach provides a solution to an open problem put forward by Lambert, and can be viewed as supplying a version of parametrized truth non (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  30. Belief Ascription Under Bounded Resources.Natasha Alechina & Brian Logan - 2010 - Synthese 173 (2):179 - 197.
    There exists a considerable body of work on epistemic logics for resource-bounded reasoners. In this paper, we concentrate on a less studied aspect of resource-bounded reasoning, namely, on the ascription of beliefs and inference rules by the agents to each other. We present a formal model of a system of bounded reasoners which reason about each other’s beliefs, and investigate the problem of belief ascription in a resource-bounded setting. We show that for agents whose computational resources and memory are bounded, (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  31. A Predicate Logic Based on Indefinite Description and Two Notions of Identity.Robert A. Alps & Robert C. Neveln - 1981 - Notre Dame Journal of Formal Logic 22 (3):251-263.
  32. The Logic of Plurality.J. E. J. Altham - 1971 - London: Methuen.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  33. Independent Axiom Schemata for Von Wright's M.Alan Ross Anderson - 1957 - Journal of Symbolic Logic 22 (3):241-244.
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  34. Independent Axiom Schemata for S.Alan Ross Anderson - 1956 - Journal of Symbolic Logic 21 (3):255-256.
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  35. A Note on Finite Intermediate Logics.J. G. Anderson - 1974 - Notre Dame Journal of Formal Logic 15 (1):149-155.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  36. An Untyped Higher Order Logic with Y Combinator.James H. Andrews - 2007 - Journal of Symbolic Logic 72 (4):1385 - 1404.
    We define a higher order logic which has only a notion of sort rather than a notion of type, and which permits all terms of the untyped lambda calculus and allows the use of the Y combinator in writing recursive predicates. The consistency of the logic is maintained by a distinction between use and mention, as in Gilmore's logics. We give a consistent model theory, a proof system which is sound with respect to the model theory, and a cut-elimination proof (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  37. Resolution in Type Theory.Peter B. Andrews - 1971 - Journal of Symbolic Logic 36 (3):414-432.
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  38. The Sentential Calculus Using Rule of Inference Re.R. B. Angell - 1960 - Journal of Symbolic Logic 25 (2):143 -.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  39. A-Logic.Richard B. Angell - 2002 - University Press of America.
    A-LOGIC is a full-length book (600+ pg). It functions as a system of logic designed to: 1) solve the standard paradoxes and major problems of standard mathematical logic; 2) minimize that logic's anomalies with respect to ordinary language, yet; 3) prove that all theorems in mathematical logic are tautologies. It covers lst order logic the logic of the words "and", "or", "not", "all" and "some". But it also has a non truth functional "if...then" and differs in its definition of validity, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  40. On Finite-Valued Propositional Logical Calculi.O. Anshakov & S. Rychkov - 1995 - Notre Dame Journal of Formal Logic 36 (4):606-629.
    In this paper we describe, in a purely algebraic language, truth-complete finite-valued propositional logical calculi extending the classical Boolean calculus. We also give a new proof of the Completeness Theorem for such calculi. We investigate the quasi-varieties of algebras playing an analogous role in the theory of these finite-valued logics to the role played by the variety of Boolean algebras in classical logic.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  41. A New Approach to the Logical Theory of Interrogatives: Analysis and Formalization.Lennart Åqvist - 1975 - Tbl Verlag G. Narr.
    Remove from this list  
     
    Export citation  
     
    My bibliography   12 citations  
  42. Hybrid Logics: Characterization, Interpolation and Complexity.Carlos Areces, Patrick Blackburn & Maarten Marx - 2001 - Journal of Symbolic Logic 66 (3):977-1010.
    Hybrid languages are expansions of propositional modal languages which can refer to (or even quantify over) worlds. The use of strong hybrid languages dates back to at least [Pri67], but recent work (for example [BS98, BT98a, BT99]) has focussed on a more constrained system called $\mathscr{H}(\downarrow, @)$ . We show in detail that $\mathscr{H}(\downarrow, @)$ is modally natural. We begin by studying its expressivity, and provide model theoretic characterizations (via a restricted notion of Ehrenfeucht-Fraisse game, and an enriched notion of (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography   25 citations  
  43. Iterative Probability Kinematics.Horacio Arló-Costa & Richmond H. Thomason - 2001 - Journal of Philosophical Logic 30 (5):479-524.
    Following the pioneer work of Bruno De Finetti [12], conditional probability spaces (allowing for conditioning with events of measure zero) have been studied since (at least) the 1950's. Perhaps the most salient axiomatizations are Karl Popper's in [31], and Alfred Renyi's in [33]. Nonstandard probability spaces [34] are a well know alternative to this approach. Vann McGee proposed in [30] a result relating both approaches by showing that the standard values of infinitesimal probability functions are representable as Popper functions, and (...)
    Remove from this list   Direct download (12 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  44. Introduction to Neutrosophic Logic.Charles Ashbacher - 2002 - American Research Press.
    Neutrosophic Logic was created by Florentin Smarandache (1995) and is an extension / combination of the fuzzy logic, intuitionistic logic, paraconsistent logic, ...
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  45. On Maximal Intermediate Predicate Constructive Logics.Alessandro Avellone, Camillo Fiorentini, Paolo Mantovani & Pierangelo Miglioli - 1996 - Studia Logica 57 (2-3):373 - 408.
    We extend to the predicate frame a previous characterization of the maximal intermediate propositional constructive logics. This provides a technique to get maximal intermediate predicate constructive logics starting from suitable sets of classically valid predicate formulae we call maximal nonstandard predicate constructive logics. As an example of this technique, we exhibit two maximal intermediate predicate constructive logics, yet leaving open the problem of stating whether the two logics are distinct. Further properties of these logics will be also investigated.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  46. A Simple Proof of Completeness and Cut-Elimination for Propositional G¨ Odel Logic.Arnon Avron - unknown
    We provide a constructive, direct, and simple proof of the completeness of the cut-free part of the hypersequential calculus for G¨odel logic (thereby proving both completeness of the calculus for its standard semantics, and the admissibility of the cut rule in the full calculus). We then extend the results and proofs to derivations from assumptions, showing that such derivations can be confined to those in which cuts are made only on formulas which occur in the assumptions.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  47. Embedding Logics Into Product Logic.Matthias Baaz, Petr Hájek, David Švejda & Jan Krajíček - 1998 - Studia Logica 61 (1):35-47.
    We construct a faithful interpretation of ukasiewicz's logic in product logic (both propositional and predicate). Using known facts it follows that the product predicate logic is not recursively axiomatizable.We prove a completeness theorem for product logic extended by a unary connective of Baaz [1]. We show that Gödel's logic is a sublogic of this extended product logic.
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  48. On Skolemization in Constructive Theories.Matthias Baaz & Rosalie Iemhoff - 2008 - Journal of Symbolic Logic 73 (3):969-998.
    In this paper a method for the replacement, in formulas, of strong quantifiers by functions is introduced that can be considered as an alternative to Skolemization in the setting of constructive theories. A constructive extension of intuitionistic predicate logic that captures the notions of preorder and existence is introduced and the method, orderization, is shown to be sound and complete with respect to this logic. This implies an analogue of Herbrand's theorem for intuitionistic logic. The orderization method is applied to (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  49. First-Order Logic Based on Inclusion and Abstraction.John Bacon - 1982 - Journal of Symbolic Logic 47 (4):793-808.
  50. Syllogistic with Complex Terms.A. J. Baker - 1972 - Notre Dame Journal of Formal Logic 13 (1):69-87.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 193