Formulas of one variable in KR

Alasdair Urquhart

The Australasian Journal of Logic

0.0 (0 ratings)

Introduction

Formulas of one variable in kr. Corrects an error in Urquhart (2023) regarding logic KR. Discover why the algebra of one-variable formulas in the logic KR is infinite.

1 views

Abstract

This note corrects an error in an earlier paper (Urquhart 2023)claiming that the algebra of three-variable formulas in the logic KR is finite.Here we show that the algebra of one-variable formulas in this logic is infinite.

Full Text

You need to be logged in to view the full text and Download file of this article - Formulas of one variable in KR from The Australasian Journal of Logic .

Comments

You need to be logged in to post a comment.

Top Blogs by Rating

Favorite Blog

Formulas of one variable in KR

Home Research Details

Alasdair Urquhart