DeepAI AI Chat
Log In Sign Up

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
03/13/2018

Axiomatic systems and topological semantics for intuitionistic temporal logic

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

A Presheaf Semantics for Quantified Temporal Logics

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

Dunn Semantics for Contra-Classical Logics

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

Simple Type Theory as Framework for Combining Logics

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

Connectives in Quantum and other Cumulative Logics

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

QUIP - A Tool for Computing Nonmonotonic Reasoning Tasks

In this paper, we outline the prototype of an automated inference tool, ...
04/12/2020

The Topological and Logical Structure of Concurrency and Dependency via Distributive Lattices

This paper is motivated by the desire to study package management using ...