Topological semantics for paraconsistent and paracomplete logics in Isabelle/HOL

04/09/2021
by   David Fuenmayor, et al.
0

We encode a topological semantics for paraconsistent and paracomplete logics enriched with recovery operators, by drawing upon early works on topological Boolean algebras (by Kuratowski, Zarycki, McKinsey Tarski, etc.). This work exemplarily illustrates the shallow semantical embedding approach using Isabelle/HOL and shows how we can effectively harness theorem provers, model finders and "hammers" for reasoning with quantified non-classical logics.

READ FULL TEXT
research
03/13/2018

Axiomatic systems and topological semantics for intuitionistic temporal logic

We propose four axiomatic systems for intuitionistic linear temporal log...
research
11/06/2021

A Presheaf Semantics for Quantified Temporal Logics

Temporal logics stands for a widely adopted family of formalisms for the...
research
04/14/2022

Dunn Semantics for Contra-Classical Logics

In this paper I show, with a rich and systematized diet of examples, tha...
research
04/30/2010

Simple Type Theory as Framework for Combining Logics

Simple type theory is suited as framework for combining classical and no...
research
05/31/2002

Connectives in Quantum and other Cumulative Logics

Cumulative logics are studied in an abstract setting, i.e., without conn...
research
03/08/2000

QUIP - A Tool for Computing Nonmonotonic Reasoning Tasks

In this paper, we outline the prototype of an automated inference tool, ...
research
12/06/2016

A pre-semantics for counterfactual conditionals and similar logics

The elegant Stalnaker/Lewis semantics for counterfactual conditonals wor...

Please sign up or login with your details

Forgot password? Click here to reset