Page 1 Next

## Displaying 1 – 20 of 43

Showing per page

### A Completness Theorem For One Class Of The Propositional Calculi

Publications de l'Institut Mathématique

### A note on paracomplete logic

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

In questa nota gli Autori descrivono nuovi sistemi di logica (detta «paracompleta») connessi con la logica della vaghezza («fuzzy logic») e con le logiche paraconsistenti.

### A possibility-free logic of descriptions.

Archiv für mathematische Logik und Grundlagenforschung

### Algebraic Approach to Algorithmic Logic

Formalized Mathematics

We introduce algorithmic logic - an algebraic approach according to . It is done in three stages: propositional calculus, quantifier calculus with equality, and finally proper algorithmic logic. For each stage appropriate signature and theory are defined. Propositional calculus and quantifier calculus with equality are explored according to . A language is introduced with language signature including free variables, substitution, and equality. Algorithmic logic requires a bialgebra structure...

### Algebraic de Morgan's laws for non-commutative rings

Cahiers de Topologie et Géométrie Différentielle Catégoriques

Kybernetika

### Annihilators in BCK-algebras

Czechoslovak Mathematical Journal

We introduce the concepts of an annihilator and a relative annihilator of a given subset of a BCK-algebra $𝒜$. We prove that annihilators of deductive systems of BCK-algebras are again deductive systems and moreover pseudocomplements in the lattice $𝒟\left(A\right)$ of all deductive systems on $𝒜$. Moreover, relative annihilators of $C\in 𝒟\left(A\right)$ with respect to $B\in 𝒟\left(A\right)$ are introduced and serve as relative pseudocomplements of $C$ w.r.t. $B$ in $𝒟\left(A\right)$.

### Grzegorczyk’s Logics. Part I

Formalized Mathematics

This article is the second in a series formalizing some results in my joint work with Prof. Joanna Golinska-Pilarek ( and ) concerning a logic proposed by Prof. Andrzej Grzegorczyk (). This part presents the syntax and axioms of Grzegorczyk’s Logic of Descriptions (LD) as originally proposed by him, as well as some theorems not depending on any semantic constructions. There are both some clear similarities and fundamental differences between LD and the non-Fregean logics introduced by...

### Individualised normative logic

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

### Inference in Action

Publications de l'Institut Mathématique

### Kripke models for intuitionistic theories with decidable atomic formulas.

Publications de l'Institut Mathématique. Nouvelle Série

### La créativité des définitions dans les systèmes para-euclidiens

Mathématiques et Sciences Humaines

Cet article considère trois sortes de calcul propositionnel (mais surtout la troisième), à la fois d'un point de vue logique et d'un point de vue épistémologique : (1) les systèmes classiques qui ont les propriétés suivantes : (a) chaque axiome doit contenir seulement (ou doit être compris comme contenant seulement) des termes primitifs, (b) chaque définition est métalinguistique, (c) chaque définition est non créatrice ; (2) les systèmes de Leśnieswski qui satisfont (a) mais ni (b) ni (c), une...

### Lògiques distributives i booleanes.

Stochastica

Continuing the study of different types of Abstract Logics , and following works by Brown-Bloom  and Brown-Suszko , we analyze in this paper some logics in which, if we identify equivalent formulae by means of the consequence operator, we obtain distributive lattices or Boolean algebras.

### Modules over a quantale and models for the operator $!$ in linear logic

Cahiers de Topologie et Géométrie Différentielle Catégoriques

Revista colombiana de matematicas

### Normal forms in partial modal logic

Banach Center Publications

A "partial" generalization of Fine's definition [Fin] of normal forms in normal minimal modal logic is given. This means quick access to complete axiomatizations and decidability proofs for partial modal logic [Thi].

Kybernetika

### On guessing whether a sequence has a certain property.

Journal of Integer Sequences [electronic only]

### On permutographs

Proceedings of the 10th Winter School on Abstract Analysis

Page 1 Next