Rasiowa-Sikorski deduction systems in computer science applications.
type: Item
instance of: scholarly article
title: Rasiowa-Sikorski deduction systems in computer science applications.
zbMATH Open document ID: 1058.03029
DOI: 10.1016/S0304-3975(01)00320-6
author: Beata Konikowska
published in: Theoretical Computer Science
publication date: 2003-01-21T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03B22
Mathematics Subject Classification ID: 03F07
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 1857006
zbMATH Keywords: Rasiowa-Sikorski deduction system
zbMATH Keywords: Decomposition rule
zbMATH Keywords: Decomposition tree
zbMATH Keywords: Completeness
zbMATH Keywords: Many-valued logic
zbMATH Keywords: Software specification logic
zbMATH Keywords: Concurrency
MaRDI profile type: Publication
cites work: Mathematical thought. An introduction to the philosophy of mathematics
cites work: Q4250051
cites work: Q3977996
cites work: Q4264728
cites work: A multimodal logic for reasoning about complementarity
cites work: A proof system for fork algebras and its applications to reasoning in logics based on intuitionism
cites work: Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings
cites work: Nondeterministic algebraic specifications and nonconfluent term rewriting
cites work: Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus
cites work: A logic for reasoning about relative similarity
cites work: Q4267169
cites work: Q4941933
cites work: Reasoning with first order nondeterministic specifications
cites work: A relational formalisation of arbitrary finite valued logics
cites work: Q4329272
cites work: Q3977997
cites work: Relational proof system for linear and other substructural logics
cites work: Relational proof system for relevant logics
cites work: Q5688805
cites work: Q5734410
cites work: Unification in sort theories and its applications
cites work: Q3710510
description: scientific article; zbMATH DE number 1857006