Search results

Items from 1 to 13 out of 13 results

article

Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations

Alexej P. Pynko

Bulletin of the Section of Logic > 2020 > 49 > 4 > 401-437

Basic results of the paper are that any four-valued expansion L4 of Dunn-Belnap's logic DB4 is de_ned by a unique (up to isomorphism) conjunctive matrix ℳ4 with exactly two distinguished values over an expansion 𝔄4 of a De Morgan non-Boolean four-valued diamond, but by no matrix with either less than four values or a single [non-]distinguished value, and has no proper extension satisfying Variable...

article

Development of fuzzy logics: from universal logic tools to natural pragmatics and non-standard scales

Valery B. Tarassov

Procedia Computer Science > 2017 > 120 > C > 908-915

The need in new approach to developing applied fuzzy logics to bridge the gap between fuzzy logics in narrow and broad sense is suggested. It is based on combining concepts and tools of universal logic with the ideas of natural pragmatics, context-sensitive truth values and non-standard bipolar scales. The concept of meta-pragmatics for many-valued and fuzzy logics is introduced, its importance is...

chapter

An efficient spatial domain based image watermarking using shell based pixel selection

Shubham Mathur, Akshay Dhingra, M Prabukumar, L Agilandeeswari, more

2016 International Conference on Advances in Computing, Communications and Informatics (ICACCI) > 2696 - 2702

2016 International Conference on Advances in Computing, Communications and Informatics (ICACCI)

In this paper, we implemented a new algorithm in spatial domain with shell based pixel selection for watermark embedding and extraction. Here, the watermark is first converted into binary image by local thresholding and then converted into a logical matrix. Before embedding, each value of logical matrix is XOR-ed using a random 8-bit key to generate modified logical matrix. Next, the pixel of host...

chapter

Algebraic Valuations as Behavioral Logical Matrices

Carlos Caleiro, Ricardo Gonçalves

Lecture Notes in Computer Science > Logic, Language, Information and Computation > Tutorials and Invited Talks > 13-25

The newly developed behavioral approach to the algebraization of logics extends the applicability of the methods of algebraic logic to a wider range of logical systems, namely encompassing many-sorted languages and non-truth-functionality. However, where a logician adopting the traditional approach to algebraic logic finds in the notion of a logical matrix the most natural semantic companion, a correspondingly...

article

Expansion by a new constant may change the finite axiomatization property of a matrix

K. Pałasińska

Czasopismo Techniczne. Nauki Podstawowe > 2016 > Y. 113, iss. 1-NP > 131--136

We give an example of a finite matrix with the property that expanding its language with a constant changes its finite axiomatization property: in the language with one binary operation the tautologies of the matrix are finitely axiomatizable while in the expanded language they are not. The constant we add is not definable in the original language. The deductive system generated by this matrix is...

chapter

Applying These Ideas In Your World

Strategic Project Management Made Simple > Putting The Concepts Into Action > 195 - 203

Strategic Project Management that equips one to evolve his/her project from messy beginnings to a polished plan, can also aid in resolving daily life problems. The concept of LogFrame, a widely discussed concept in this chapter helps bring together a new, diverse team and reduce the stovepipe or silo problem. The four simple questions and logical matrix provide a common vocabulary and structure to...

chapter

Stability of asynchronous Boolean networks

Zhiqiang Li, Huimin Xiao

Proceedings of the 2014 International Conference on Advanced Mechatronic Systems > 496 - 500

2014 International Conference on Advanced Mechatronic Systems (ICAMechS)

In this paper, using semi-tensor product and the vector form of Boolean logical variables, the asynchronous Boolean networks under different update schemes are converted into probabilistic discrete time dynamic systems, and the structure matrix of discrete time dynamic systems is a probabilistic transaction. It provides a new way to study the properties of random Boolean networks. Under this framework,...

article

Towards a Behavioral Algebraic Theory of Logical Valuations

C. Caleiro, R. Goncalves

Fundamenta Informaticae > 2011 > Vol. 106, nr 2-4 > 191-209

Logical matrices are widely accepted as the semantic structures that most naturally fit the traditional approach to algebraic logic. The behavioral approach to the algebraization of logics extends the applicability of the traditional methods of algebraic logic to a wider range of logical systems, possibly encompassingmany-sorted languages and non-truth-functional phenomena. However, as one needs to...

article

The logic dual to Sobociński's n-valued logic

A. Górnicka

Scientific Issues of Jan Długosz University in Częstochowa. Mathematics > 2010 > Vol. 15 > 35--42

In this paper, we describe the logic dual to n-valued Sobociński logic. According to the idea presented by Malinowski and Spasowski [1], we introduce the consequence dual to the consequence of n-valued Sobociński logic in two ways: by a logical matrix and by a set of rules of inference. Then we prove that both approaches are equivalent and the consequence is dual in Wójcicki sense (see [3]).

chapter

Structural synthesis of serial-parallel hybrid mechanisms via group theory and representation of logical matrix

Qiang Zeng, Yuefa Fang

2009 International Conference on Information and Automation > 1392 - 1397

2009 International Conference on Information and Automation (ICIA)

This contribution presents different type of serial-parallel hybrid mechanisms by group theory and logical matrix. A novel representation and logical operation of spatial mechanisms are developed. The hybrid mechanisms can be categorized into two types, closed-type and opened-type hybrid mechanisms. According to the group theory and mobility criterion, the closed-type hybrid mechanisms can be determined...

chapter

The on-line guide system for power plant based on parameter variance analysis and logical matrix

Hui-Jie Wang, Chun-Fa Zhang, Ning Zhao

2008 International Conference on Wavelet Analysis and Pattern Recognition > 2 > 856 - 861

2008 International Conference on Wavelet Analysis and Pattern Recognition (ICWAPR)

As a high level application module of SIS system, the on-line monitor and analysis system for energy-saving is widely applied to power plants. But the corresponding guide system which applied effectual guidance to realize optimal operation is still lack of sufficient research. The main purpose of the guide system is to confirm the certain reason which leads to energy loss among various reasons. Then...

chapter

The on-line guide system for energy-saving of power plant based on parameter variance analysis and logical matrix

Hui-Jie Wang, Chun-Fa Zhang, Zhao Ning, Zhi-Ping Song

2008 International Conference on Machine Learning and Cybernetics > 2 > 1025 - 1030

2008 International Conference on Machine Learning and Cybernetics (ICMLC)

chapter

FPGA SAR Processor with Window Memory Accesses

Yong Dou, Jie Zhou, Yuanwu Lei, Xingming Zhou

2007 IEEE International Conf. on Application-specific Systems, Architectures and Processors (ASAP) > 95 - 100

IEEE 18th International Conference Application-specific Systems, Architectures and Processors

In the paper, we present a design of FPGA SAR processor with four 1D FFT processing elements, double internal RAM buffers and double external SDRAM modules. Without traditional corner turn phase, we propose a data layout scheme mapping one row of logical matrix into a rectangular window in physical banks of SDRAM in order to increase the practical I/O throughout between SDRAM modules and SAR processing...

Filter options

Publication date

Last 3 years (1)

Close

Date range setting

Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.

From:

To:
Set your own date range

INFONA - science communication portal

Search results

Add recipient

Sending message cancelled

Are you sure you want to cancel sending this message?

Send message

Filter options

Publication date

Date range setting

Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.

Content availability

Publication type

Keywords

Data set

Reporting an error / abuse

Sending the report failed

Accessibility options