Homogenousness and Specificity

02/25/2019
by   Karl Schlechta, et al.
0

We interpret homogenousness as a second order property and base it on the same principle as nonmonotonic logic: there might be a small set of exceptions.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/05/2023

A Unification Algorithm for Second-Order Linear Terms

We give an algorithm for the class of second order unification problems ...
research
06/29/2019

Recursive axiomatizations from separation properties

We define a fragment of monadic infinitary second-order logic correspond...
research
12/09/2013

A state vector algebra for algorithmic implementation of second-order logic

We present a mathematical framework for mapping second-order logic relat...
research
01/26/2018

Logic characterisation of p/q-recognisable sets

Let p/q be a rational number. Numeration in base p/q is defined by a fun...
research
12/09/2021

A Monotone, Second Order Accurate Scheme for Curvature Motion

We present a second order accurate in time numerical scheme for curve sh...
research
01/03/2020

Simple explanation of Landauer's bound and its ineffectiveness for multivalued logic

We discuss, using recent results on the Landauer's bound in multivalued ...
research
11/05/2020

Monadic second-order logic and the domino problem on self-similar graphs

We consider the domino problem on Schreier graphs of self-similar groups...

Please sign up or login with your details

Forgot password? Click here to reset