DeepAI AI Chat

Topological semantics for paraconsistent and paracomplete logics in Isabelle/HOL

04/09/2021

∙

by David Fuenmayor, et al.

∙

∙

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.

∙ 03/13/2018

Axiomatic systems and topological semantics for intuitionistic temporal logic

We propose four axiomatic systems for intuitionistic linear temporal log...

0 Joseph Boudou, et al. ∙

∙ 11/06/2021

A Presheaf Semantics for Quantified Temporal Logics

Temporal logics stands for a widely adopted family of formalisms for the...

0 Fabio Gadducci, et al. ∙

∙ 04/14/2022

Dunn Semantics for Contra-Classical Logics

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

0 Luis Estrada-González, et al. ∙

∙ 04/30/2010

Simple Type Theory as Framework for Combining Logics

Simple type theory is suited as framework for combining classical and no...

0 Christoph Benzmueller, et al. ∙

∙ 05/31/2002

Connectives in Quantum and other Cumulative Logics

Cumulative logics are studied in an abstract setting, i.e., without conn...

0 Daniel Lehmann, et al. ∙

∙ 03/08/2000

QUIP - A Tool for Computing Nonmonotonic Reasoning Tasks

In this paper, we outline the prototype of an automated inference tool, ...

0 Uwe Egly, et al. ∙

∙ 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 ...

0 Gershom Bazerman, et al. ∙