Results

eNauka >  Results >  Craig Interpolation Theorem for Classical Propositional Logic with Some Probability Operators
Title: Craig Interpolation Theorem for Classical Propositional Logic with Some Probability Operators
Authors: Ikodinović, Nebojša  
Issue Date: 2001
Publication: Publications de l'Institut Mathématique
ISSN: 0350-1302 Publications de l#Institut Mathematique, Beograd Search Idenfier
Publisher: Belgrade : [Institut Mathématique, Académie serbe des sciences]
Type: Article
Collation: vol. 69 br. 83 str. 27-33
VBS COBISS: 160272908
URI: https://plus.cobiss.net/cobiss/sr/sr/bib/160272908#izum.si
https://enauka.gov.rs/handle/123456789/1050830
M-category: 
Mp. category will be shown later

Find the DOI

Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.