- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Hybrid terms and sentences
Studia Logica 52 (3):405 - 417 (1993)
Abstract
In the paper we present completeness theorems for hybrid logics, discuss the problem of finite axiomatization and study term rewriting and unification for the variety of distributive lattices and the variety of groups of exponent 2.My notes
Similar books and articles
An axiomatization of the finite-valued łukasiewicz calculus.Roman Tuziak - 1988 - Studia Logica 47 (1):49 - 55.
Locally Finite Reducts of Heyting Algebras and Canonical Formulas.Guram Bezhanishvili & Nick Bezhanishvili - 2017 - Notre Dame Journal of Formal Logic 58 (1):21-45.
On Principal Congruences in Distributive Lattices with a Commutative Monoidal Operation and an Implication.Ramon Jansana & Hernán Javier San Martín - 2019 - Studia Logica 107 (2):351-374.
On Principal Congruences in Distributive Lattices with a Commutative Monoidal Operation and an Implication.Hernán Javier San Martín & Ramon Jansana - 2019 - Studia Logica 107 (2):351-374.
Completeness theorems via the double dual functor.Adriana Galli, Marta Sagastume & Gonzalo E. Reyes - 2000 - Studia Logica 64 (1):61-81.
Perfect MV-algebras are categorically equivalent to abelianl-groups.Antonio Di Nola & Ada Lettieri - 1994 - Studia Logica 53 (3):417-432.
Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics II.Viorica Sofronie-Stokkermans - 2000 - Studia Logica 64 (2):151-172.
Pure Extensions, Proof Rules, and Hybrid Axiomatics.Patrick Blackburn & Balder Ten Cate - 2006 - Studia Logica 84 (2):277-322.
Analytics
Added to PP
2009-01-28
Downloads
6 (#1,485,580)
6 months
17 (#161,763)
2009-01-28
Downloads
6 (#1,485,580)
6 months
17 (#161,763)
Historical graph of downloads
Citations of this work
On p-compatible hybrid identities and hyperidentities.Klaus Denecke & Katarzyna Hałkowska - 1994 - Studia Logica 53 (4):493-501.
References found in this work
Review: Laszlo Kalmar, Une Forme du Theoreme de Godel Sous des Hypotheses Minimales; Laszlo Kalmar, Quelques Formes Generales du Theoreme de Godel. [REVIEW]Leon Henkin - 1950 - Journal of Symbolic Logic 15 (3):230-230.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-6mvtb uwo