Results 11 to 20 of about 3,184,608 (250)
Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency [PDF]
Outstanding Contributions to Logic, 2021 In this paper we study intermediate logics between the degree preserving companion of Godel fuzzy logic with an involution and classical propositional logic CPL, as well as the intermediate logics of their finite-valued counterparts.
M. Coniglio +3 more
semanticscholar +3 more sources
Institutional logics, blended and suspended [PDF]
, 2014 This paper examines how a new institution, a code of conduct, arises and develops over time. It shows how the process of debate airs competing logics, questions and fails to question assumptions taken for granted, and yet achieves a large degree of ...
Nordberg, Donald
core +9 more sources
Cut-Free Gentzen Sequent Calculi for Tense Logics
Axioms, 2023 The cut-free single-succedent Gentzen sequent calculus GKt for the minimal tense logic Kt is introduced. This sequent calculus satisfies the displaying property.
Zhe Lin, Minghui Ma
doaj +1 more source
L’aménagement urbain public en Amérique du Nord. Traductions locales d’un concept théorique
Cybergeo, 2021 In the United States and in Canada, the urban development initiated by public actors often takes the form of projects of intermediate scale and length. Some of these developments reflect the local practice of a public urban development influenced by the ...
Alexandre Murer, Julien Despax
doaj +1 more source
One-variable fragments of intermediate logics over linear frames
Information and Computation, 2021 A correspondence is established between one-variable fragments of (first-order) intermediate logics defined over a fixed countable linear frame and Godel modal logics defined over many-valued equivalence relations with values in a closed subset of the ...
X. Caicedo +3 more
semanticscholar +1 more source
Deterministic Temporal Logics and Interval Constraints [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 In temporal logics, a central question is about the choice of modalities and their relative expressive power, in comparison to the complexity of decision problems such as satisfiability.
Kamal Lodaya, Paritosh K. Pandya
doaj +1 more source
A Semi-Automatic Semantic Consistency-Checking Method for Learning Ontology from Relational Database
Information, 2021 To tackle the issues of semantic collision and inconsistencies between ontologies and the original data model while learning ontology from relational database (RDB), a semi-automatic semantic consistency checking method based on graph intermediate ...
Chuangtao Ma +2 more
doaj +1 more source
Inducing syntactic cut-elimination for indexed nested sequents [PDF]
Logical Methods in Computer Science, 2018 The key to the proof-theoretic study of a logic is a proof calculus with a subformula property. Many different proof formalisms have been introduced (e.g. sequent, nested sequent, labelled sequent formalisms) in order to provide such calculi for the many
Revantha Ramanayake
doaj +1 more source
High performance quaternary logic designs using GNFETs
e-Prime: Advances in Electrical Engineering, Electronics and Energy, 2023 The implementations of quaternary circuit schematics are presented in this paper. The quaternary logic is a better choice over the conventional logics because it offers high operating speed, reduced chip area and reduced on-chip interconnects.
Shaik Javid Basha, P. Venkatramana
doaj +1 more source
Intermediate propositional logics.
, 1969 The main object of the thesis is to investigate a variety of questions relating to the set of intermediate prepositional logics. Let H denote the set of words which are intuitionist theses and let K denote the set of words which are classical theses ...
C. G. McKay (7682456)
core +6 more sources