Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

84

JUCS
2007

84views more JUCS 2007»

On the Forcing Semantics for Monoidal t-norm Based Logic

15 years 2 months ago

On the Forcing Semantics for Monoidal t-norm Based Logic

Download www.jucs.org

Denisa Diaconescu, George Georgescu

Real-time Traffic

JUCS 2007 |

claim paper

Related Content

» A Semantic Proof of Polytime Soundness of Light Affine Logic

» Realizability models and implicit complexity

» Algebraic fusion of functions with an accumulating parameter and its improvement

» A Fuzzy Formal Logic for Intervalvalued Residuated Lattices

» A Categorical Model for the Geometry of Interaction

» ForcingBased CutElimination for GentzenStyle Intuitionistic Sequent Calculus

» Rewriting Logic as a Unifying Framework for Petri Nets

» Reifying Concepts in Description Logics

» Towards a New CodeBased Software Development Concept Enabling Code Patterns

Post Info
More Details (n/a)

Added	16 Dec 2010
Updated	16 Dec 2010
Type	Journal
Year	2007
Where	JUCS
Authors	Denisa Diaconescu, George Georgescu

Comments (0)