Results 21 to 30 of about 1,020,940 (299)
Intuitionistic Logic is a Connexive Logic
Studia Logica, 2023 AbstractWe show that intuitionistic logic is deductively equivalent to Connexive Heyting Logic ($$\textrm{CHL}$$ CHL ), hereby introduced as an example of a strongly connexive logic with an intuitive semantics. We use the reverse algebraisation paradigm: $$\textrm{CHL}$$ CHL is ...
davide fazio +2 more
openaire +6 more sources
A second order logic of existence [PDF]
, 1969 Publisher's, offprint versionA. N. Prior in [9] has suggested an approach towards a second order logic of existence where, following medieval logicians, we distinguish “between predicates (like ‘is red’, ‘is hard’, etc.) which entail existence, and ...
Cocchiarella, Nino
core +1 more source
Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic K1 [PDF]
, 2017 In 1953, Jerzy Kalinowski published his paper on the logic of normative sentences. The paper is recognized as one of the first publications on the formal system of deontic logic.
Ciuciura, Janusz
core +2 more sources
Minimal Systems of Temporal Logic
, 2020 The article discusses minimal temporal logic systems built on the basis of classical logic as well as intuitionistic logic. The constructions of these systems are discussed as well as their basic properties.
Dariusz Surowik
core +1 more source
On Argumentation Logic and Propositional Logic [PDF]
Studia Logica, 2017 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kakas, Antonis C. +5 more
openaire +4 more sources
Notre Dame Journal of Formal Logic, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Advances in Proof-Theoretic Semantics
, 2016 Logic; Mathematical Logic and Foundations; Mathematical Logic and Formal ...
core +1 more source
, 2023 Residuated basic logic (RBL) is the logic of residuated basic algebras, which constitutes a conservative extension of basic propositional logic (BPL). The basic implication is a residual of a non-associative binary operator in RBL.
Minghui Ma, Zhe Lin
core +1 more source
Logicism in Logical Empiricism
, 2021 Logicism presents one of the cornerstones of logical empiricism. At the same time, the views defended by Carnap, Hahn, and Hempel, among others, differ significantly from Frege’s original thesis. The present chapter will focus on several accounts of logicism developed in logical empiricism between 1920 and 1940. The aim here is twofold.
openaire +3 more sources
FEBS Letters, EarlyView.How do genomes gain new functional parts? In eukaryotes, which tend to evolve under weak selection, much of the genome is junk. Palazzo and Qiu borrow the logic of Markov chains to show how non‐functional DNA becomes functional through the appearance of intermediate states, which arise due to epistasis, buffering, and biochemical messiness, allowing ...
Alexander F. Palazzo, Yi Qiu
wiley +1 more source