Logical foundations for a general theory of systems

QR kód

Logical foundations for a general theory of systems

Elmentve itt :

Bibliográfiai részletek
Szerzők:	Gergely Tamás Németi István
Dokumentumtípus:	Cikk
Megjelent:	1975
Sorozat:	Acta cybernetica 2 No. 3
Kulcsszavak:	Számítástechnika, Kibernetika
Tárgyszavak:	Természettudományok Számítás- és információtudomány
Online Access:	http://acta.bibl.u-szeged.hu/12220

Hasonló tételek

The generalized sigmoid function and its connection with logical operators
Szerző: Dombi József, et al.
Megjelent: (2022)

Generalizing the Sigmoid Function Using Continuous-valued Logic
Szerző: Dombi József, et al.
Megjelent: (2022)

On the Boolean structure of fuzzy logical systems a counter example /
Szerző: Dombi József, et al.
Megjelent: (1992)

Common logic [abstract] /
Szerző: Demián Tamás
Megjelent: (2010)

Operator-dependent modifiers in nilpotent logical systems
Szerző: Dombi József, et al.
Megjelent: (2018)

The generalised completeness of Horn predicate-logic as a programming language
Szerző: Andréka Hajnal, et al.
Megjelent: (1978)

Lower and Upper Bounds on the Vagueness Values of Logical Operations in Pliant Systems
Szerző: Dombi József, et al.
Megjelent: (2024)

Overview of an abstract fixed point theory for non-monotonic functions and its applications to logic programming
Szerző: Charalambidis Angelos, et al.
Megjelent: (2017)

Synthesis of the synchronization of general pipeline systems
Szerző: Ugron Balázs, et al.
Megjelent: (2005)

Modeling Probability Weighting Functions in Prospect Theory using a Class of Modifier Operators of Continuous-valued Logic
Szerző: Dombi József, et al.
Megjelent: (2019)

Modal logics with function symbols
Szerző: Tóth K.
Megjelent: (1979)

The debug slicing of logic programs
Szerző: Szilágyi Gyöngyi, et al.
Megjelent: (2001)

The logic of aggregated data
Szerző: Gelsema Tjalling
Megjelent: (2019)

Debug slicing of logic programs [abstract] /
Szerző: Harmath László, et al.
Megjelent: (2000)

Learning in logic
Szerző: Horváth Tamás
Megjelent: (2012)

Nondeterministic programming within the frame of first order classical logic part 1 /
Szerző: Gergely Tamás, et al.
Megjelent: (1980)

Nondeterministic programming within the frame of first order classical logic part 2 /
Szerző: Gergely Tamás, et al.
Megjelent: (1980)

On the complexity of dynamic tests for logic functions
Szerző: Vardanân V. A.
Megjelent: (1994)

The logic of knights, knaves, normals and mutes
Szerző: Aszalós László
Megjelent: (2000)

Relational databases and homogeneity in logics with counting
Szerző: Turull Torres José María
Megjelent: (2006)

Density of tautologies in logics with one variable
Szerző: Aszalós László, et al.
Megjelent: (2012)

Modelling container distribution with fuzzy logic [abstract] /
Szerző: Raicu Gabriel
Megjelent: (2004)

A resolution based description logic calculus
Szerző: Zombori Zsolt
Megjelent: (2010)

Unification for effective and finite semantic tableaux in first-order logic the SOFIA prover : [abstract] /
Szerző: Kovásznai Gergely
Megjelent: (2004)

On a class of unary operators in continuous-valued logic
Szerző: Dombi József, et al.
Megjelent: (2024)

Completeness in non-simple and stable modal logics
Szerző: Tóth K.
Megjelent: (1980)

Creating the conceptual and logical model of a journal database
Szerző: Hampel György
Megjelent: (2022)

Creating the conceptual and logical model of a journal database
Szerző: Hampel György
Megjelent: (2022)

Finite state evaluation of logical formulas Jevons' approach (1870) and contemporary description /
Szerző: Amblard Paul
Megjelent: (2006)

A modelling tool based on mathematical logic T-PROLOG
Szerző: Futó István, et al.
Megjelent: (1981)

Logical definability of Y-tree and trellis systolic ω-languages
Szerző: Angelo Monti, et al.
Megjelent: (2001)

Temporal logic with cyclic counting and the degree of aperiodicity of finite automata
Szerző: Ésik Zoltán, et al.
Megjelent: (2003)

Approximations to the normal probability distribution function using operators of continuous-valued logic
Szerző: Dombi József, et al.
Megjelent: (2018)

An alternative approach to quadratic scoring rules using continuous-valued logic
Szerző: Dombi József, et al.
Megjelent: (2023)

About the axiomatization of first- and second-order spatio-temporal logics [abstract] /
Szerző: Vályi Sándor
Megjelent: (2000)

Generalized DOL trees
Szerző: Kari Lila, et al.
Megjelent: (1995)

Generalized Harary games
Szerző: Pluhár András
Megjelent: (1997)

Optimization of multivalued logical functions based on evaluation graphs
Szerző: Varga Antal
Megjelent: (1986)

The cardinality of closed sets in pre-complete classes in k-valued logics
Szerző: Demetrovics János, et al.
Megjelent: (1979)

NP-completeness results concerning the transformation of logic programs into attribute grammars
Szerző: Lohrey Markus
Megjelent: (1998)