Categorical Abstract Algebraic Logic: Pseudo-Referential Matrix System Semantics

George Voutsadakis

The search session has expired. Please query the service again.

Displaying similar documents to “Categorical Abstract Algebraic Logic: Pseudo-Referential Matrix System Semantics”

Some special functions related to unimodular pseudo-orthogonal groups

Alexander Nizhnikov, Ilya Shilin (2011)

Banach Center Publications

Similarity:

We obtain some matrix elements of basis transformations in a representation space of the unimodular pseudo-orthogonal group. Using these elements, we derive some formulas for special functions.

Beth's nonclassical valuations

Dick de Jongh, Paul van Ulsen (1998-1999)

Philosophia Scientiae

Similarity:

[0,1]-Valued Logic: A Natural Generalization of Boolean Logic

Dragan G. Radojević (2000)

The Yugoslav Journal of Operations Research

Similarity:

Three New Methods for Computing Subresultant Polynomial Remainder Sequences (PRS’S)

Akritas, Alkiviadis (2015)

Serdica Journal of Computing

Similarity:

Given the polynomials f, g ∈ Z[x] of degrees n, m, respectively, with n > m, three new, and easy to understand methods — along with the more efficient variants of the last two of them — are presented for the computation of their subresultant polynomial remainder sequence (prs). All three methods evaluate a single determinant (subresultant) of an appropriate sub-matrix of sylvester1, Sylvester’s widely known and used matrix of 1840 of dimension (m + n) × (m + n), in order to compute...

Lappo-Danilevskij systems and their place among linear systems.

Mazanik, S.A. (1998)

Memoirs on Differential Equations and Mathematical Physics

Similarity:

The matrix equation $A X - Y B = C$ and related problems.

Al&#039;pin, Yu.A., Ilyin, S.N. (2005)

Zapiski Nauchnykh Seminarov POMI

Similarity:

Note on Some Mercerian Theorems

Branislav Martić (1984)

Publications de l'Institut Mathématique

Similarity:

Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations

Alexej P. Pynko (2020)

Bulletin of the Section of Logic

Similarity:

Basic results of the paper are that any four-valued expansion L4 of Dunn-Belnap's logic DB4 is de_ned by a unique (up to isomorphism) conjunctive matrix ℳ4 with exactly two distinguished values over an expansion 𝔄4 of a De Morgan non-Boolean four-valued diamond, but by no matrix with either less than four values or a single [non-]distinguished value, and has no proper extension satisfying Variable Sharing Property (VSP). We then characterize L4's having a theorem / inconsistent formula,...

Pseudo-integral of differential equations of the n-th order

K. Orlov, M. Stojanović (1974)

Matematički Vesnik

Similarity:

Interrelation of algebraic, semantical and logical properties for superintuitionistic and modal logics

Larisa Maksimova (1999)

Banach Center Publications

Similarity:

We consider the families 𝓛 of propositional superintuitionistic logics (s.i.l.) and NE(K) of normal modal logics (n.m.l.). It is well known that there is a duality between 𝓛 and the lattice of varieties of pseudo-boolean algebras (or Heyting algebras), and also NE(K) is dually isomorphic to the lattice of varieties of modal algebras. Many important properties of logics, for instance, Craig's interpolation property (CIP), the disjunction property (DP), the Beth property (BP), Hallden-completeness...

Многообразия логических матриц

А.В. Чагров (1985)

Algebra i Logika

Similarity:

The problem of kings.

Larsen, Michael (1995)

The Electronic Journal of Combinatorics [electronic only]

Similarity:

A class of spaces in which compactness and finiteness are equivalent

H. B. Potoczny (1984)

Matematički Vesnik

Similarity: