Sage Journals: Discover world-class research

Retricted access

Research article

First published 2006-5

Di-Algebraic Semantics of Logics

A. Mani

Fundamenta Informaticae

Retricted access

Research article

First published 2019

From Box Algebra to Interval Temporal Logic

Hanna Klaudel, Maciej Koutny, Zhenhua Duan [...]

Fundamenta Informaticae

Retricted access

Research article

First published 1990

Algebraic Foundations of Logic Programming,I: The Distributive Lattice of Logic Programs

Anil Hirani, V.S. Subrahmanian

Fundamenta Informaticae

Retricted access

Research article

First published 2015-4

Discrete Duality for Tense Łukasiewicz–Moisil Algebras

Aldo V. Figallo, Gustavo Pelaitay

Fundamenta Informaticae

Retricted access

Research article

First published 2001-4

Nonmodularity Results for Lambda Calculus

Antonino Salibra

Fundamenta Informaticae

Retricted access

Research article

First published 1996-9

ROUGH SETS AND NELSON ALGEBRAS

Piero Pagliani

Fundamenta Informaticae

Retricted access

Research article

First published 1996-5

McCARTHY ALGEBRAS: A MODEL OF McCARTHY'S LOGICAL CALCULUS

Beata Konikowska

Fundamenta Informaticae

Retricted access

Research article

First published 2004-1

Nonmonotonic Proof Systems: Algebraic Foundations

Sujata Ghosh, Mihir Kr. Chakraborty

Fundamenta Informaticae

Retricted access

Research article

First published 2020

A Many-sorted Polyadic Modal Logic

Ioana Leuştean, Natalia Moangă, Traian Florin Şerbănuţă

Fundamenta Informaticae

Retricted access

Research article

First published 2018

Soft set theoretical approach to pseudo-BCI algebras

Xiaohong Zhang, Choonkil Park, Supeng Wu

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Search results