DeepAI AI Chat

How to Make a New Logic

08/12/2021

∙

by Takao Inoué, et al.

∙

Hosei University

∙

∙

We discuss about how to make a new logic with considering a slogan: take the inversion of what you know. Suppose that we have a Gentzen-style logical system S. The operation to make a new logic from S is the following: for all the axioms and rules of S, change the direction of all the arrows occurred in the sequents of the axiom or the rule to the opposite side. We call this operation Stahlization. We consider certain logics in this respect.

page 1

page 2

page 3

page 4

∙ 04/08/2019

Fifty years of Hoare's Logic

We discuss a history of Hoare's logic....

0 Krzysztof R. Apt, et al. ∙

∙ 04/01/2019

Fundamentals of computability logic

This article is a semitutorial-style survey of computability logic. An e...

0 Giorgi Japaridze, et al. ∙

∙ 05/18/2022

Finite two-dimensional proof systems for non-finitely axiomatizable logics

The characterizing properties of a proof-theoretical presentation of a g...

0 Vitor Greati, et al. ∙

∙ 06/18/2021

On Logics of Perfect Paradefinite Algebras

The present study shows how any De Morgan algebra may be enriched by a '...

0 Joel Gomes, et al. ∙

∙ 01/04/2020

Restricted Rules of Inference and Paraconsistency

We present here two logical systems - intuitionistic paraconsistent weak...

0 Sankha S. Basu, et al. ∙

∙ 06/09/2012

The hardest logic puzzle ever becomes even tougher

"The hardest logic puzzle ever" presented by George Boolos became a targ...

0 Nikolay Novozhilov, et al. ∙

∙ 04/14/2022

Routley Star in Information-Based Semantics

It is common in various non-classical logics, especially in relevant log...

0 Vít Punčochář, et al. ∙