Academia.edu no longer supports Internet Explorer.
To browse Academia.edu and the wider internet faster and more securely, please take a few seconds to upgrade your browser.
2006
Abstract In this paper we argue that hybrid logic is the deductive setting most natural for Kripke semantics. We do so by investigating hybrid axiomatics for a variety of systems, ranging from the basic hybrid language (a decidable system with the same complexity as orthodox propositional modal logic) to the strong Priorean language (which offers full first-order expressivity).
Journal of Logic, Language and Information, vol.16(1), pp.35-61
A proof-theoretic study of the correspondence of hybrid logic and classical logic2007 •
In this paper we show the equivalence between the provability of a proof system of basic hybrid logic and that of translated formulas of the classical predicate logic with equality and explicit substitution by a purely proof-theoretic method. Then we show the equivalence of two groups of proof systems of hybrid logic: the group of labelled deduction systems and the group of modal logic-based systems.
Mathematics of Languages
Proof-nets, hybrid logics and minimalist representations1999 •
Abstract. In this paper, we aim at giving a logical account of the representationalist view on minimalist grammars by refering to the notion of Proof-Net in Linear Logic. We propose at the same time a hybrid logic, which mixes one logic (Lambek calculus) for building up elementary proofs ...
2007 •
We present Kripke semantics for some substructural logics with weakening, known as logics with BCK implication. This work is a continuation of the work of Allwein and Dunn on Kripke semantics for Linear Logic, which in turn rested on Dunn’s Gaggle Theory and on Urquhart’s Representation Theory for nondistributive lattices. The basic idea in the representation theory is to use maximally disjoint filter-ideal pairs (maximal pairs) to separate distinct elements. A collection of subsets of the set of maximal pairs forms the representation lattice. Ternary relations are defined on the set of maximal pairs which embody properties of the operations & and ⊃ . A three way valuation of formulas gives rise to a definition of canonical Kripke model. Properties of the ternary relations on the set of maximal pairs are used in the abstract definition of Kripke semantics. Soundness and strong completeness hold.
Proceedings of the Japan Academy
Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics1973 •
2018 •
DergiPark (Istanbul University)
Correlation among germination and seedling parameters of Brassica juncea under PEG 6000 and NaCl treatments2022 •
2024 •
2019 •
Journal of Biological Researches
Hubungan kekerabatan burung gelatik jawa (Padda oryzivora) di Pulau Jawa berdasarkan karakter morfologi2008 •
physica status solidi (c)
Analysis of acoustic attenuation spectra due to ion transport processes in glassy electrolytes2004 •
2009 •
AFRICAN JOURNAL OF BIOTECHNOLOGY
Genetic polymorphism in β-lactoglobulin gene of some sheep breeds in the Kingdom of Saudi Arabia (KSA) and its influence on milk composition2012 •
Research, Society and Development
Altas habilidades/superdotação na pesquisa brasileira: um estudo sobre as produções nos programas de pós-graduação no Brasil no período de 2002-20202021 •
Brazilian Journal of Development
O Direito Na Regulação Dos Povos e a Transnacionalidade / the Right to Regulate People and Transnationality2007 •
PS Political Science & Politics
Searching Presidential Documents On-Line: Advantages and Limitations1996 •
Journal of Clinical Medicine Research
High Seroprevalence ofLeptospiraExposure in Meat Workers in Northern Mexico: A Case-Control Study2016 •
SSRN Electronic Journal
Argentina, Brasil E Uruguai: Um Estudo Dos Impactos Regionais Da Alca (Argentina, Brazil and Uruguay: A Study of the Regional Impacts of Alca)2007 •
Journal of Agricultural Studies
Smallholder Nursery Practices in Southeast Sulawesi: Seedling for Planting and Business2017 •