Search
Search Results
-
Dialectical logic or logical dialectics? The Polish discussion on the principle of non-contradiction (1946–1957)
The discussion on the principle of non-contradiction (1946–1957) between Marxist and non-Marxist philosophers was one of the major philosophical...
-
Conditionals, curry, and consequence: embracing deduction
We extend the Embracing Revenge account of the semantic paradoxes by constructing two distinct consequence relations that reflect, in different ways,...
-
-
Satisfiability, Lattices, Temporal Logic and Constraint Logic Programming on Intervals
This essay narrates some of the influences that Alasdair Urquhart has had on computer science at the intersection of automated theorem proving,...
-
Fine’s Semantics for Relevance Logic and Its Relevance
The challenge of giving a semantics for relevance logic in terms of worlds or situations intrigued several logicians. As a solution, Fine gave a...
-
Valuation Semantics for Some Systems of Non-normal Modal Logic
This paper presents valuation semantics for some systems of non-normal modal logic. We show different ways of doing it and, in particular, show how...
-
One Heresy and One Orthodoxy: On Dialetheism, Dimathematism, and the Non-normativity of Logic
In this paper, Graham Priest’s understanding of dialetheism, the view that there exist true contradictions, is discussed, and various kinds of...
-
Some Issues in Buddhist Logic
The chapter deals with some important issues related to the Buddhist logic. Since Nyāya logic is treated as the mainstream Indian logic by many...
-
Popper’s Theory of Deductive Logic
We present Popper’s theory of deductive logic as exhibited in his articles published between 1947 and 1949. After an introduction to Popper’s...
-
Introduction
I began the Preface saying: Mathematics and physics have an intimate relationship, albeit on-and-off. Mathematics provides both machinery for...
-
Imperative Logic: Indian and Western
Statements having imperative intents are found in plenty in the context of formal argumentative discourses. Commands of any form are commonly...
-
Introduction to Philosophy
Der hier vorliegende Text beruht auf einem undatierten Manuskript mit der Inventarnummer 168, A.158, von Schlicks eigener Hand. Das Manuskript trägt...
-
Parameterized Complexity of Propositional Inclusion and Independence Logic
We give a comprehensive account on the parameterized complexity of model checking and satisfiability of propositional inclusion and independence...
-
A Simple Logic of Functional Dependence
This paper presents a simple decidable logic of functional dependence LFD, based on an extension of classical propositional logic with dependence...
-
A Short Introduction to SHACL for Logicians
The Shapes Constraint Language (SHACL) was recommended by the W3C in 2017 for describing constraints on web data (specifically, on the so-called RDF...
-
Algebras and Relational Frames for Gödel Modal Logic and Some of its Extensions
Gödel modal logics can be seen as extensions of intutionistic modal logics with the prelinearity axiom. In this paper we focus on the algebraic and...
-
Modal and Intuitionistic Variants of Extended Belnap–Dunn Logic with Classical Negation
In this study, we introduce Gentzen-type sequent calculi BDm and BDi for a modal extension and an intuitionistic modification, respectively, of De...
-
On the Costs of Classical Logic
This article compares classical (or
KF -like) and nonclassical (orPKF -like) axiomatisations of the fixed-point semantics developed by Kripke (J...
-
On Implicational Intermediate Logics Axiomatizable by Formulas Minimal in Classical Logic: A Counter-Example to the Komori–Kashima Problem
The Komori–Kashima problem, that asks whether (or not) the implicational intermediate logics axiomatizable by formulas minimal in classical logic are...
-
Algebraic Logic and Rough Set Theory
The chapter attempts to give an overview of work done in India in the area of algebraic logic related to rough set theory. Algebraic structures and...