相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。
Article
Logic
DAVIDE FAZIO et al.
Review of Symbolic Logic
(2023)
Article
Logic
Satoru Niki et al.
Summary: Despite being nonconventional, some non-classical logics can validate formulas that are invalid in classical logic. Certain systems even have pairs of a formula and its negation as theorems, without becoming trivial. This paper examines constructive connexive logic C and its non-constructive extension C3 to shed light on how provable contradictions can be understood, exploring various observations using a proof-theoretic approach.
JOURNAL OF PHILOSOPHICAL LOGIC
(2023)
Article
Mathematics, Applied
Hans Rott
Summary: This article explores conditionals that express the impact of the antecedent on the consequent, presenting the 'relevantised' version of the Ramsey Test and the 'Dependent Ramsey Test.' These conditionals violate traditional principles of conditional logic, but offer an intriguing logic of their own, closely related to David Lewis's counterfactual analysis of causation.
REVIEW OF SYMBOLIC LOGIC
(2022)
Article
Mathematics, Applied
Yale Weiss
Summary: In this article, the author provides Urquhart-style semilattice semantics for three connexive logics and gives simple proofs of soundness and completeness. The article emphasizes the intuitive content of the semantics and discusses how natural informational considerations underlie each system.
REVIEW OF SYMBOLIC LOGIC
(2022)
Article
Logic
Wolfgang Lenzen
Summary: The official history of connexive logic, written by Storrs McCall in 2012, argues that connexive logic was initially founded by ancient logicians and further developed by medieval logicians. However, this paper criticizes McCall's analysis, asserting that it fails to consider two versions of connexivism.
JOURNAL OF PHILOSOPHICAL LOGIC
(2022)
Article
Mathematics
Luis Estrada-Gonzalez
Summary: The article discusses the argument proposed by Francez that connexivity can be applied to connectives other than the conditional, specifically conjunction and disjunction. The author questions whether Francez's conjunction and disjunction can be properly called 'connexive' since connexivity is not solely based on the connection between antecedents and consequents. The author analyzes three ways in which these connectives may inherit connexivity from the conditional, and concludes that both Francez's connectives and other connectives obtained through a different method fail to be connexive.
Proceedings Paper
Computer Science, Theory & Methods
Guido Gherardi et al.
Summary: This paper introduces the logics of super-strict implications based on C.I. Lewis' non-normal modal logics S2 and S3. The semantics of these logics is based on Kripke's semantics for non-normal modal logics. This paper solves a question left open in a previous paper by showing that these logics are weakly connexive.
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
(2022)
Proceedings Paper
Computer Science, Theory & Methods
Andreas Kapsner et al.
Summary: This article reconsiders the concept of superconnectivity, which has not received much attention. It examines the problems with the proposal that have contributed to this lack of interest. However, it also suggests a slight modification of the idea, called super-bot-connectivity, which offers a better chance of achieving the desired results.
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
(2022)
Article
Philosophy
Vincenzo Crupi et al.
Summary: This paper presents an account of conditionals, the evidential account, which differs from both material and non-material accounts. The evidential account is based on the idea that a conditional is true when the antecedent supports the consequent, exhibiting distinctive logical features.
Article
Mathematics, Applied
Satoru Niki
Summary: The paper introduces a slight modification to strong negation and discusses its comparative advantages over the original notion. It also explores paraconsistent variants of the modification and studies their relationship with non-constructive principles and connexivity.
REVIEW OF SYMBOLIC LOGIC
(2021)
Article
Logic
Norihiro Kamide
JOURNAL OF PHILOSOPHICAL LOGIC
(2020)
Article
Mathematics
Claudio E. A. Pizzi
Article
Mathematics, Interdisciplinary Applications
Hitoshi Omori
LOGICAL STUDIES OF PARACONSISTENT REASONING IN SCIENCE AND MATHEMATICS
(2016)
Article
Linguistics
Pieter A. M. Seuren
POZNAN STUDIES IN CONTEMPORARY LINGUISTICS
(2010)
Article
Logic
John Cantwell
Notre Dame Journal of Formal Logic
(2008)
Article
Logic
Claudio Pizzi
LOGICA UNIVERSALIS
(2008)
Article
Mathematics, Applied
Heinrich Wansing
LOGIC JOURNAL OF THE IGPL
(2007)
Article
Logic
C Pizzi et al.
JOURNAL OF PHILOSOPHICAL LOGIC
(2005)
Article
Philosophy
L Humberstone
AUSTRALASIAN JOURNAL OF PHILOSOPHY
(2000)