Results 71 to 80 of about 127 (108)

On Łukasiewicz Logic with Truth Constants

2007
Canonical completeness results for Ł\((\mathcal{C})\), the expansion of Łukasiewicz logic Ł with a countable set of truth-constants \(\mathcal{C}\), have been recently proved in [5] for the case when the algebra of truth constants \(\mathcal{C}\) is a subalgebra of the rational interval [0, 1] ∩ ℚ. The case when \(C \not \subseteq [0, 1] \cap \mathbb{Q}
Roberto Cignoli, Francesc Esteva, Lluís Godo   +2 more
openaire   +1 more source

Logical constants

2018
A fundamental problem in the philosophy of logic is to characterize the concepts of ‘logical consequence’ and ‘logical truth’ in such a way as to explain what is semantically, metaphysically or epistemologically distinctive about them. One traditionally says that a sentence p is a logical consequence of a set S of sentences in a language L if and only ...
openaire   +1 more source

A CONSTRUCTIVE INTERPRETATION OF THE LOGICAL CONSTANTS

The Bulletin of Symbolic Logic
Abstract Heyting’s intuitionistic predicate logic describes very general regularities observed in constructive mathematics. The intended meaning of the logical constants is clarified through Heyting’s proof interpretation. A re-evaluation of proof interpretation and predicate logic leads to the new constructive Basic logic properly ...
Mohammad Ardeshir, Wim Ruitenburg
openaire   +1 more source

Logical Form and Logical Constants

2000
Abstract A general characterization of the constants of standard logic is achieved by following the suggestion, inspired by Wittgenstein's Tractatus, that the meanings of these constants can be fully explained by reference to no more than two essential features of empirical statements; all such statements must possess excluding power and
openaire   +1 more source

The accident of logical constants

Thought: A Journal of Philosophy, 2020
Work on the nature and scope of formal logic has focused unduly on the distinction between logical and extra-logical vocabulary; which argument forms a logical theory countenances depends not only on its stock of logical terms, but also on its range of grammatical categories and modes of composition. Furthermore, there is a sense in which logical terms
openaire   +1 more source

The Meanings of the Logical Constants in Deontic Logic

Ratio Juris, 1999
If deontic logic is to cast light on any of the normative sciences, such as legal reasoning, then certain problems regarding its logical constants must be faced. Recent studies in the area of deontic logic have tended to assume that it is our responses to the “paradoxes” of deontic implication which are fundamental to resolving problems with the use of
openaire   +1 more source

A New Constant in Superintuitionistic Logic L3

Algebra and Logic, 2015
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Constants in Kripke Models for Intuitionistic Logic

Mathematical Logic Quarterly, 1995
AbstractWe present a technique to extend a Kripke structure (for intuitionistic logic) into an elementary extension satisfying some property (cardinality, saturation, etc.) which can be “axiomatized” by a family of sets of sentences, where, most often, many constant symbols occur. To that end, we prove extended theorems of completeness and compactness.
openaire   +2 more sources

Classification of Novikov Complete Logics with Extra Logical Constants

Algebra and Logic, 2003
Consider the usual propositional language extended by a family of constants \(\overline{\varphi}=\{\varphi_1,\dots,\varphi_n\}\). An arbitrary set of formulas containing the logic Int is called \(\overline{\varphi}\)-logic if it is closed under modus ponens and substitution.
openaire   +2 more sources

Hyperresolution for Gödel logic with truth constants

Fuzzy Sets and Systems, 2019
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources