Sage Journals: Discover world-class research

Retricted access

Research article

First published 2001-6

A Fragment of Intuitionistic Dynamic Logic

Sergio A. Celani

Fundamenta Informaticae

Retricted access

Research article

First published 2008-4

A Term Assignment for Polarized Bi-intuitionistic Logic and its Strong Normalization

Corrado Biasi, Federico Aschieri

Fundamenta Informaticae

Open access

Research article

First published 2019

Neighbourhood and Lattice Models of Second-Order Intuitionistic Propositional Logic

Toshihiko Kurata, Ken-etsu Fujita

Fundamenta Informaticae

Retricted access

Research article

First published 2013-4

On an algebra of linguistic truth-valued intuitionistic lattice-valued logic

Li Zou, Peng Shi, Zheng Pei [...]

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

Retricted access

Research article

First published 2018

Multi-Agent Dialogues and Dialogue Sequents for Proof Search and Scheduling in Intuitionistic Logic and the Modal Logic S4

Martin Sticht

Fundamenta Informaticae

Retricted access

Research article

First published 2019-09-09

Multi-agent based intuitionistic fuzzy logic healthcare decision support system

Hanen Jemal, Zied Kechaou, Mounir Ben Ayed

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

Retricted access

Research article

First published 2014-2

On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems

Gianluigi Bellin, Alessandro Menti

Fundamenta Informaticae

Retricted access

Research article

First published 1997-1

ON DEFINITIONAL TRANSFORMATIONS TO NORMAL FORM FOR INTUITIONISTIC LOGIC

Uwe Egly

Fundamenta Informaticae

Retricted access

Research article

First published 2015-10

A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic

Alessandro Avellone, Camillo Fiorentini, Alberto Momigliano

Fundamenta Informaticae

Retricted access

Research article

First published 2016-2-11

Mass problems and intuitionistic higher-order logic

Sankha S. Basu, Stephen G. Simpson

Computability

Search results